6dbc40ec96
Some checks failed
Test / rust-fmt-check (pull_request) Successful in 2m59s
PR Review Automation / review (pull_request) Successful in 6m38s
Test / frontend-typecheck (pull_request) Successful in 1m19s
Test / rust-clippy (pull_request) Successful in 6m18s
Test / frontend-tests (pull_request) Successful in 1m8s
Test / rust-tests (pull_request) Has been cancelled
The changelog job checks out a specific SHA (detached HEAD) then commits CHANGELOG.md and tries to push with 'git push origin master'. Since there is no local branch named 'master', git rejects the push with 'src refspec master does not match any'. Fix: use 'git push origin HEAD:master' which explicitly maps the current detached HEAD to the remote master branch regardless of local branch state. |
||
|---|---|---|
| .. | ||
| workflows | ||