Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
.github/workflows: Fix each commit CI job
By fetching the full history and checking out the HEAD commit of the branch we fix it and using the action parameters is also less code. Broken since its introduction in c3e7dc3 (.github/workflows: Add job to compile test each commit, 2023-12-22). In addition we also need to pass --quit to git rebase as --abort resets HEAD which we don't want. Close #1968
- Loading branch information