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

..

build.yml

CI: test build LuCI packages

2021-10-09 22:50:56 -10:00

ci_helpers.sh

CI: add formal tests

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

formal.yml

CI: add formal tests

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

jsdoc.yml

CI: enable jekyll for docs for overview README

2021-10-08 23:35:42 -10:00