seL4Bench

deps-update #621

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	9s
Build (armv7a)	3m 55s
Build (armv8a)	9m 32s
Build (nehalem)	2m 10s
Build (rv64imac)	2m 48s
HW Run (imx8mm_evk)	1h 28m 7s
HW Run (odroid_c2)	47m 33s
HW Run (am335x_boneblack)	47m 29s
HW Run (hifive)	1h 1m 0s
HW Run (odroid_xu4)	47m 28s
HW Run (pc99, haswell3)	2h 8m 35s
HW Run (pc99, skylake)	2h 8m 35s
HW Run (tx2)	1h 1m 5s
HW Run (sabre)	1h 14m 32s
HW Run (tx1)	1h 1m 7s
Deploy	0s
	12h 44m 5s