Proof PR

Update ARM AInvs for det_ext changes #3134

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (ARM)	1h 36m 21s
All (ARM_HYP)	52m 6s
All (AARCH64)	2h 33m 49s
All (X64)	54m 53s
All (RISCV64)	1h 4m 51s
	7h 2m 0s