From de9194ee1101f67feb645d405bfbdd1306e70af5 Mon Sep 17 00:00:00 2001 From: Rafael Richards Date: Mon, 15 Jun 2026 11:13:36 -0400 Subject: [PATCH] ci: trigger CI on push to master (m-stdlib's default branch) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit m-stdlib's default branch is `master`, but ci.yml's push trigger targeted `main` — so pushes to master (including merges) never ran CI. Point the trigger at master. Keeps the T0b.3 drift gates in engine-free-targets (supersedes the stale ci-fix-push-trigger-master branch, which predates them). Co-Authored-By: Claude Opus 4.8 (1M context) --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 5da57ac..5ebfe3f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -14,7 +14,7 @@ name: CI on: push: - branches: [main] + branches: [master] pull_request: jobs: