CI-Tests

Introduce `LoopNext` relation, change `BlockInStructuredLoop` semantics. #333

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test_souffle24	53m 10s
test_souffle23	49m 46s
Mypy	15s
	1h 43m 11s