seL4Bench

deps-update #572

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	12s
Build (armv7a)	4m 9s
Build (armv8a)	9m 2s
Build (nehalem)	2m 12s
Build (rv64imac)	2m 50s
HW Run (am335x_boneblack)	3m 16s
HW Run (imx8mm_evk)	11m 44s
HW Run (hifive)	13m 19s
HW Run (pc99, haswell3)	1h 1m 1s
HW Run (pc99, skylake)	25m 52s
HW Run (odroid_xu4)	6m 7s
HW Run (tx1)	1h 1m 30s
HW Run (sabre)	12m 55s
HW Run (odroid_c2)	2m 18s
HW Run (tx2)	26m 47s
Deploy	34s
	4h 3m 48s