Paul Spooren fb830fd894 CI: build changes in tools/ on ubuntu/macos ... 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>		2022-02-25 12:49:03 +01:00
..
ci_helpers.sh
formal.yml
tools.yml	CI: build changes in tools/ on ubuntu/macos	2022-02-25 12:49:03 +01:00