Skip to content

Document Ubuntu-only CI workflow#3

Merged
takeokunn merged 1 commit into
mainfrom
feat/cps-macro-test-hardening
Jul 12, 2026
Merged

Document Ubuntu-only CI workflow#3
takeokunn merged 1 commit into
mainfrom
feat/cps-macro-test-hardening

Conversation

@takeokunn

Copy link
Copy Markdown
Collaborator

Summary

  • document that GitHub Actions CI runs on Ubuntu only
  • note that pull requests run the same flake and coverage verification as local checks
  • mention that the workflow uploads the coverage artifact

Testing

  • CI

@takeokunn
takeokunn merged commit 13865e7 into main Jul 12, 2026
1 check passed
@takeokunn
takeokunn deleted the feat/cps-macro-test-hardening branch July 12, 2026 15:20
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