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 | ||