Skip to content

chore: update CI branch references from master to main#67

Open
rappdw wants to merge 1 commit intomainfrom
chore/rename-master-to-main
Open

chore: update CI branch references from master to main#67
rappdw wants to merge 1 commit intomainfrom
chore/rename-master-to-main

Conversation

@rappdw
Copy link
Copy Markdown
Owner

@rappdw rappdw commented Mar 23, 2026

Summary

  • Remove master from on.push.branches and on.pull_request.branches in .github/workflows/ci.yml, keeping only main (and develop for push)
  • Simplify the coverage-badge job if condition to only check for refs/heads/main
  • No changes needed in release.yml (triggers on tags only) or integration.yml (no master references)
  • CLAUDE.md had no master branch references

Test plan

  • Verify CI triggers correctly on pushes to main and develop
  • Verify PR checks run on PRs targeting main
  • Verify coverage badge updates on main branch pushes

🤖 Generated with Claude Code

The default branch was renamed from master to main on GitHub.
Remove master from push/PR branch filters and the coverage-badge
job condition in ci.yml.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@github-actions
Copy link
Copy Markdown

Code Coverage

Package Line Rate Complexity Health
. 68% 0
core 92% 0
reference 98% 0
sparse 94% 0
sparse.csgraph 58% 0
types 100% 0
util 67% 0
Summary 73% (1489 / 2036) 0

Minimum allowed line rate is 65%

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