6d8263c5b5
All checks were successful
Test / rust-fmt-check (pull_request) Successful in 1m50s
Test / rust-clippy (pull_request) Successful in 3m8s
Test / frontend-typecheck (pull_request) Successful in 1m44s
Test / frontend-tests (pull_request) Successful in 1m27s
PR Review Automation / review (pull_request) Successful in 5m32s
Test / rust-tests (pull_request) Successful in 4m47s
Three issues addressed together: 1. Race condition (was PR #56): changelog job now CREATES the Gitea release rather than assuming build jobs have already created it. Build jobs continue to use create-or-skip + upload unchanged. 2. Detached HEAD push: 'git push origin master' fails when HEAD is detached (no local branch named master). Changed to 'HEAD:master'. 3. git-cliff tag guard: verify tag is present locally before running git-cliff, to fail fast with a clear message rather than silently generating a wrong changelog. 4. git commit idiom: replaced 'git commit || echo' (swallows all non-zero exit codes including real failures) with an explicit 'git diff --staged --quiet' guard so set -euo pipefail is not undermined. |
||
|---|---|---|
| .. | ||
| auto-tag.yml | ||
| build-images.yml | ||
| pr-review.yml | ||
| test.yml | ||