Migrate the same formal tests used in packages.git Signed-off-by: Paul Spooren <mail@aparcar.org> |
||
---|---|---|
.. | ||
build.yml | ||
ci_helpers.sh | ||
formal.yml | ||
jsdoc.yml |
Migrate the same formal tests used in packages.git Signed-off-by: Paul Spooren <mail@aparcar.org> |
||
---|---|---|
.. | ||
build.yml | ||
ci_helpers.sh | ||
formal.yml | ||
jsdoc.yml |