Proof PR

arm-hyp+aarch64 spec+proof: make generic in CONFIG_DISABLE_WFI_WFE_TRAPS #3018

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	2h 43m 55s
All (ARM)	3h 15m 54s
All (ARM_HYP)	2h 41m 31s
All (RISCV64)	2h 56m 52s
All (X64)	2h 55m 2s
	14h 33m 14s