Proof PR

Refactor arch_thread_get/set lemmas #3171

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (ARM_HYP)	2h 6m 48s
All (ARM_HYP)	2h 6m 48s
All (RISCV64)	2h 14m 8s
All (RISCV64)	2h 14m 8s
All (AARCH64)	2h 14m 35s
All (AARCH64)	2h 14m 35s
All (ARM)	2h 19m 7s
All (ARM)	16m 43s
All (X64)	2h 10m 18s
All (X64)	2h 10m 18s
	20h 7m 28s