seL4Bench

CI: cancel older concurrent PR runs #528

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	14s
Build (armv7a)	4m 20s
Build (armv8a)	9m 27s
Build (nehalem)	2m 26s
Build (rv64imac)	14m 56s
HW Run (am335x_boneblack)	4m 6s
HW Run (imx8mm_evk)	24m 51s
HW Run (hifive)	57m 1s
HW Run (odroid_c2)	2m 34s
HW Run (odroid_xu4)	1h 1m 37s
HW Run (pc99, haswell3)	37m 39s
HW Run (pc99, skylake)	31m 34s
HW Run (sabre)	15m 20s
HW Run (tx1)	2h 2m 11s
HW Run (tx2)	26m 50s
Deploy	41s
	6h 55m 47s