Proof PR

github: add num_domains key to artifact upload #2662

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	13m 27s
All (ARM)	17m 16s
All (ARM_HYP)	15m 2s
All (RISCV64)	14m 41s
All (X64)	14m 13s
	1h 14m 39s