Continuous integration

simplicity: swap program and witness data in satisfaction #402

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Integration tests	2m 3s
Nightly - Bench + Docs + Fmt	7m 59s
Lint	2m 13s
Tests (stable)	5m 14s
Tests (beta)	4m 50s
Tests (nightly)	4m 5s
Tests (1.63.0)	8m 4s
	34m 28s