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
..
Dockerfile	…
ci_helpers.sh	CI: Add helper functions	2020-10-10 11:16:13 -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