Paul Spooren f50a80b79c 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>
(cherry picked from commit 13c1f2bcda)

2022-08-21 23:33:12 +02:00

..

ci_helpers.sh

CI: Add helper functions

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

Dockerfile

CI: use new openwrt Docker username

2021-03-29 00:22:08 +02: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

2022-08-21 23:33:12 +02:00

multi-arch-test-build.yml

ci: Look for changed packages in the PR branch only

2022-05-16 11:20:29 +02:00