CodeQL

CONTRACTS: allow pointer predicates to fail in `assume` contexts #6796

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Analyze (cpp)	30m 59s
Analyze (java)	15m 42s
Analyze (javascript)	14m 55s
Analyze (python)	15m 3s
	1h 16m 39s