GitHub CI actions/checkout uses a merge commit which isn't compatible
with our formality checks. Instead checkout the pull request HEAD.
Signed-off-by: Paul Spooren <mail@aparcar.org>
steps:
- uses: actions/checkout@v2
with:
+ ref: ${{ github.event.pull_request.head.sha }}
fetch-depth: 0
- name: Determine branch name
- name: Test formalities
run: |
- # remove GitHubs merge commit
- git rebase "origin/$BRANCH"
-
source .github/workflows/ci_helpers.sh
RET=0