seL4Bench

deps-update #439

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	12s
Build (armv7a)	4m 15s
Build (armv8a)	10m 23s
Build (nehalem)	3m 25s
Build (rv64imac)	3m 0s
HW Run (am335x_boneblack)	3m 19s
HW Run (hifive)	7m 43s
HW Run (odroid_c2)	2m 26s
HW Run (odroid_xu4)	7m 7s
HW Run (imx8mm_evk)	12m 11s
HW Run (pc99, skylake)	26m 34s
HW Run (pc99, haswell3)	31m 32s
HW Run (sabre)	13m 6s
HW Run (tx1)	11m 9s
HW Run (tx2)	20m 45s
Deploy	57s
	2h 38m 4s