CodeQL

Update CaDiCaL from 2.0.0 to 2.2.0 #7358

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Analyze (javascript)	14m 46s
Analyze (cpp)	30m 58s
Analyze (python)	15m 25s
Analyze (java)	15m 27s
	1h 16m 36s