CI: add formal tests
authorPaul Spooren <mail@aparcar.org>
Sat, 9 Oct 2021 09:08:10 +0000 (23:08 -1000)
committerPaul Spooren <mail@aparcar.org>
Sun, 10 Oct 2021 08:52:02 +0000 (22:52 -1000)
commitdc7144ffed312b70a141b564a6694afb1666a656
tree917a6783bd772609772f55678e2e66d995ec0ec2
parent530144791ee0db7df544c845611c2fba2910582d
CI: add formal tests

Migrate the same formal tests used in packages.git

Signed-off-by: Paul Spooren <mail@aparcar.org>
.github/workflows/ci_helpers.sh [new file with mode: 0644]
.github/workflows/formal.yml [new file with mode: 0644]