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

..

ci_helpers.sh

CI: Add helper functions

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

Dockerfile

CI: add runtime tests for packages

2020-09-16 10:40:16 -10:00

entrypoint.sh

CI: fix grammar typo when test is succesful

2020-10-16 08:15:53 -10:00

formal.yml

CI: migrate formal checks from CircleCI to GitHub

2021-03-04 18:21:01 -10:00

multi-arch-test-build.yml

CI: fix handling of release branches

2021-03-01 11:41:18 -10:00