34a69620f5
All checks were successful
Test / rust-fmt-check (pull_request) Successful in 1m25s
Test / frontend-typecheck (pull_request) Successful in 1m53s
Test / frontend-tests (pull_request) Successful in 1m53s
Test / rust-clippy (pull_request) Successful in 3m12s
PR Review Automation / review (pull_request) Successful in 4m24s
Test / rust-tests (pull_request) Successful in 4m37s
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. |
||
|---|---|---|
| .. | ||
| workflows | ||