CodeQL

introduce `update_bit_exprt` #5593

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Analyze (cpp)	52m 39s
Analyze (java)	18m 12s
Analyze (javascript)	17m 49s
Analyze (python)	18m 54s
	1h 47m 34s