From ced1001517914d0a619c8751c14f738d2110aa61 Mon Sep 17 00:00:00 2001 From: Rafael Richards Date: Mon, 15 Jun 2026 10:05:36 -0400 Subject: [PATCH] ci: fix push trigger to master (m-stdlib's default branch) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The workflow triggered on `push: [main]` but m-stdlib's default branch is `master`, so merges to master never ran CI (only pull_request did — a pre-existing quirk inherited from the legacy ci.yml). Match the trigger to the actual default branch so push-to-master runs the gate too. 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 e84a613..13fcce5 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: