Skip to content

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

Merged
cplieger merged 1 commit into
mainfrom
repo-sync/ci/default
Aug 4, 2026
Merged

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

Conversation

@cplieger

@cplieger cplieger commented Aug 4, 2026

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) August 4, 2026 11:08
@cplieger
cplieger merged commit 6ca1d1c into main Aug 4, 2026
23 checks passed
@cplieger
cplieger deleted the repo-sync/ci/default branch August 4, 2026 11:12
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