CodeQL

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Analyze (cpp)	51m 56s
Analyze (java)	17m 46s
Analyze (javascript)	17m 42s
Analyze (python)	20m 17s
	1h 47m 41s