Skip to content

ci: trigger CI on push to master (+ smoke-test T0b.3 gates)#15

Merged
rafael5 merged 1 commit into
masterfrom
ci-trigger-master-fix
Jun 15, 2026
Merged

ci: trigger CI on push to master (+ smoke-test T0b.3 gates)#15
rafael5 merged 1 commit into
masterfrom
ci-trigger-master-fix

Conversation

@rafael5

@rafael5 rafael5 commented Jun 15, 2026

Copy link
Copy Markdown
Contributor

m-stdlib's default branch is master but ci.yml's push trigger targeted main, so the T0b.3 merge ran no CI. Point the trigger at master (keeps the four T0b.3 drift gates in engine-free-targets).

This PR's pull_request run is the first real CI exercise of the T0b.3 drift gates on m-stdlib.

🤖 Generated with Claude Code

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) <noreply@anthropic.com>
@rafael5 rafael5 merged commit 4a398dd into master Jun 15, 2026
2 of 3 checks passed
@rafael5 rafael5 deleted the ci-trigger-master-fix branch June 15, 2026 15:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant