CodeQL

Merge pull request #8190 from diffblue/updatebit_exprt #5598

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Analyze (cpp)	52m 5s
Analyze (java)	17m 46s
Analyze (javascript)	17m 30s
Analyze (python)	18m 41s
	1h 46m 2s