summaryrefslogtreecommitdiffhomepage
path: root/.github/workflows/formal.yml
AgeCommit message (Collapse)Author
2021-10-09CI: add formal testsPaul Spooren
Migrate the same formal tests used in packages.git Signed-off-by: Paul Spooren <mail@aparcar.org>