Back to pull request #148

3.11.0 release for seL4 13.0.0 #193

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build + Simulate (ODROID_XU)	7m 41s
Build + Simulate (ODROID_XU4)	7m 58s
Build + Simulate (PC99)	8m 8s
Build + Simulate (TX1)	2m 32s
Build + Simulate (TX2)	2m 29s
Build + Simulate (IMX8MM_EVK)	3m 8s
Build + Simulate (IMX8MQ_EVK)	2m 26s
Build + Simulate (sim, sabre)	8m 23s
Build + Simulate (sim, ia32)	8m 8s
Build + Simulate (sim, x86_64)	2m 12s
Build + Simulate (sim, cakeml_1)	7m 12s
Build + Simulate (sim, cakeml_2)	7m 39s
Build + Simulate (sim, spike64_1)	8m 20s
Build + Simulate (sim, spike64_2)	8m 35s
	1h 24m 51s