3 Commits

Author	SHA1	Message	Date
Christian Marangi	006014745c	ci: update github actions to v3 ... Update checkout and upload-artifact action to v3 to mute nodejs deprecation warning. Signed-off-by: Christian Marangi <ansuelsmth@gmail.com> (cherry picked from commit 52570d4242)	2023-03-11 12:02:29 +01:00
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
Paul Spooren	29ad225700	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> (cherry picked from commit 1b46af0e59)	2022-08-21 23:28:21 +02:00