Paul Spooren 13c1f2bcda CI: checkout HEAD commit rather than merge commit ...

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>

2021-03-04 23:42:32 -10:00

..

ci_helpers.sh

CI: Add helper functions

2020-10-10 11:16:13 -10:00

Dockerfile

CI: add runtime tests for packages

2020-09-16 10:40:16 -10:00

entrypoint.sh

CI: fix grammar typo when test is succesful

2020-10-16 08:15:53 -10:00

formal.yml

CI: checkout HEAD commit rather than merge commit

2021-03-04 23:42:32 -10:00

multi-arch-test-build.yml

CI: fix handling of release branches

2021-03-01 11:41:18 -10:00