Commit Graph

2 Commits

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>
2021-03-04 23:42:32 -10:00
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>
2021-03-04 18:21:01 -10:00