merge: dev into main — CI workflow triggers + version bump #640

Merged
jmiller merged 5 commits from dev into main 2026-06-18 15:32:08 +00:00
Owner

Move CI and repo-health workflows to pull_request triggers so they gate merges instead of running after deploy.

Move CI and repo-health workflows to pull_request triggers so they gate merges instead of running after deploy.
jmiller added 3 commits 2026-06-18 15:29:55 +00:00
fix(ci): run CI and repo-health on PR to main, not on push
Universal: Auto Version Bump / Version Bump (push) Successful in 6s
Universal: Pre-Release / Build Pre-Release (${{ inputs.stability || github.ref_name }}) (push) Successful in 2m19s
e0c492c7df
CI and repo-health were triggering on push to main, running alongside
(or after) the deploy workflow instead of gating the merge. Move both
to pull_request triggers so they run as PR checks before merge.

- ci-generic: remove push trigger, keep pull_request to main/dev/rc
- repo-health: remove bare push trigger, scope pull_request to main
- deploy-mokogitea stays on push:main (fires only after merge)
jmiller added 2 commits 2026-06-18 15:31:49 +00:00
merge: resolve auto-bump version conflicts
Generic: Project CI / Tests (pull_request) Blocked by required conditions
Universal: PR Check / Build RC Package (pull_request) Blocked by required conditions
Universal: PR Check / Report Issues (pull_request) Blocked by required conditions
Generic: Repo Health / Scripts governance (pull_request) Blocked by required conditions
Generic: Repo Health / Repository health (pull_request) Blocked by required conditions
Generic: Repo Health / Report Issues (pull_request) Blocked by required conditions
Branch Policy Check / Verify merge target (pull_request) Successful in 1s
Universal: PR Check / Branch Policy (pull_request) Successful in 1s
Generic: Repo Health / Site Health (pull_request) Has been skipped
Generic: Repo Health / Access control (pull_request) Successful in 2s
Universal: PR Check / Validate PR (pull_request) Failing after 11s
Branch Cleanup / Delete merged branch (pull_request) Has been skipped
RC Revert / Rename rc/ back to dev/ (pull_request) Has been skipped
Generic: Project CI / Lint & Validate (pull_request) Successful in 35s
Universal: Auto Version Bump / Version Bump (push) Successful in 7s
Universal: Secret Scanning / Gitleaks Secret Scan (pull_request) Successful in 1m2s
PR RC Release / Build RC Release (pull_request) Failing after 1m30s
Universal: Pre-Release / Build Pre-Release (${{ inputs.stability || github.ref_name }}) (push) Successful in 2m50s
Universal: Build & Release / Promote to RC (pull_request) Has been skipped
Universal: Build & Release / Build & Release Pipeline (pull_request) Successful in 2m36s
d877bbbe0c
jmiller merged commit bf5b759398 into main 2026-06-18 15:32:08 +00:00
Sign in to join this conversation.