CI-Tests

Merge pull request #171 from alkorang/tac_func_params #275

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Mypy	16s
test_souffle24	48m 58s
test_souffle23	44m 51s
	1h 34m 5s