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