fb830fd894
This commits adds GitHub CI to check that all tools compile on both Ubuntu and macOS. Since running in parrallel this should also detect badly set depdendencies within tools/Makefile. Signed-off-by: Paul Spooren <mail@aparcar.org> |
||
---|---|---|
.. | ||
ci_helpers.sh | ||
formal.yml | ||
tools.yml |