Skip to content

Add CI concurrency control and tidy version/copyright - #266

Merged
shchur merged 2 commits into
masterfrom
ci-concurrency-and-version-cleanup
Aug 7, 2026
Merged

Add CI concurrency control and tidy version/copyright#266
shchur merged 2 commits into
masterfrom
ci-concurrency-and-version-cleanup

Conversation

@shchur

@shchur shchur commented Aug 7, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • Add a per-ref concurrency group to the CI workflow so a superseded run gets cancelled (cancel-in-progress), while tag/branch pushes for different refs don't cancel each other.
  • Restrict the CodeQL push trigger to the long-lived master and stable branches. Same-repo feature branches were firing both a push and a pull_request CodeQL run; now PRs get a single scan while merges to master/stable and the weekly scheduled scan are unaffected.
  • Bump the docs copyright year to 2026.
  • Split the version assignment in setup.py into two lines for readability (no behavior change).

Test plan

  • ruff check / ruff format pass (pre-commit).
  • CI/CodeQL trigger behavior verified by the workflow config; no functional code changed.

shchur added 2 commits August 7, 2026 12:56
- Add per-ref concurrency group to cancel superseded CI runs
- Bump docs copyright year to 2026
- Split version assignment for clarity in setup.py
Feature-branch pushes fired both a push and pull_request CodeQL run.
Limit push scans to long-lived branches; PRs still get scanned.
@shchur
shchur merged commit dfd5cbd into master Aug 7, 2026
8 checks passed
@github-actions

github-actions Bot commented Aug 7, 2026

Copy link
Copy Markdown

Job PR-266-033fce3 is done.
Docs are uploaded to https://d12sc05jpx1wj5.cloudfront.net/PR-266/033fce3/index.html

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