CodeQL

Run performance comparison in CI using Kani's Benchcomp #5516

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Analyze (cpp)	52m 29s
Analyze (java)	18m 54s
Analyze (javascript)	19m 2s
Analyze (python)	19m 28s
	1h 49m 53s