Skip to content

chore(sync): synced file(s) with cplieger/ci - #411

Merged
cplieger merged 1 commit into
mainfrom
repo-sync/ci/default
Jul 31, 2026
Merged

chore(sync): synced file(s) with cplieger/ci#411
cplieger merged 1 commit into
mainfrom
repo-sync/ci/default

Conversation

@cplieger

Copy link
Copy Markdown
Owner

Synced from cplieger/ci by
scripts/sync-files.py. Files carrying a DO NOT EDIT header are
overwritten on every sync — change the canonical copy in cplieger/ci
instead. Auto-merges once this repo's required checks pass.

Files updated in this run:

  • .github/workflows/ci.yaml
  • .github/workflows/codeql.yml
  • .github/workflows/coverage.yml
  • .github/workflows/release.yaml
  • .github/workflows/security.yml

@cplieger
cplieger enabled auto-merge (squash) July 29, 2026 13:10
@cplieger
cplieger force-pushed the repo-sync/ci/default branch 17 times, most recently from b29d157 to f61a6fc Compare July 31, 2026 12:07
@cplieger
cplieger force-pushed the repo-sync/ci/default branch from f61a6fc to 40f487b Compare July 31, 2026 15:52
@cplieger
cplieger merged commit ab187a9 into main Jul 31, 2026
20 checks passed
@cplieger
cplieger deleted the repo-sync/ci/default branch July 31, 2026 16:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant