openwrt-packages-dist

24937 Commits

1 Branch

46 MiB

Commit Graph

Author	SHA1	Message	Date
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>	4 years ago
Paul Spooren	1b46af0e59	CI: migrate formal checks from CircleCI to GitHub Run the formal checks like SoB message via the GitHub CI. Signed-off-by: Paul Spooren <mail@aparcar.org>	4 years ago

Author

SHA1

Message

Date

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>

4 years ago

Paul Spooren

1b46af0e59

CI: migrate formal checks from CircleCI to GitHub

Run the formal checks like SoB message via the GitHub CI.

Signed-off-by: Paul Spooren <mail@aparcar.org>

4 years ago

2 Commits (66e0dfa7cd02eccab614fdf962355a32a0a523d3)