Add tests to CI #13
Description
Even just a basic test that running srcomp-mixtape works and prints the help output would catch a lot of basic issues.
{{ message }}
Even just a basic test that running srcomp-mixtape works and prints the help output would catch a lot of basic issues.