Paul Spooren dc7144ffed CI: add formal tests ...

Migrate the same formal tests used in packages.git

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

2021-10-09 22:52:02 -10:00

..

workflows

CI: add formal tests

2021-10-09 22:52:02 -10:00