Proof PR

Refactor det_ext to remove scheduler state #3107

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	2h 15m 23s
All (ARM)	16m 44s
All (ARM_HYP)	22m 42s
All (RISCV64)	15m 13s
All (X64)	17m 4s
	3h 27m 6s