CodeQL

Make regression tests work when cvc5 is not available #5638

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Analyze (cpp)	53m 19s
Analyze (java)	18m 39s
Analyze (javascript)	18m 49s
Analyze (python)	19m 17s
	1h 50m 4s