Contracts (DFCC) regression tests: use CaDiCaL #6332

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Analyze (cpp)	33m 21s
Analyze (java)	16m 10s
Analyze (javascript)	16m 11s
Analyze (python)	16m 44s
	1h 22m 26s