summaryrefslogtreecommitdiffhomepage
path: root/.github/workflows/ci_helpers.sh
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>