CodeQL

Restrict with_exprt to exactly three operands #7167

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Analyze (cpp)	49m 28s
Analyze (java)	15m 41s
Analyze (javascript)	14m 57s
Analyze (python)	14m 49s
	1h 34m 55s