seL4Bench

deps-update #534

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	16s
Build (armv7a)	4m 16s
Build (armv8a)	9m 17s
Build (nehalem)	2m 37s
Build (rv64imac)	3m 0s
HW Run (am335x_boneblack)	3m 20s
HW Run (hifive)	7m 50s
HW Run (imx8mm_evk)	12m 15s
HW Run (odroid_c2)	2m 16s
HW Run (odroid_xu4)	4m 8s
HW Run (pc99, skylake)	25m 25s
HW Run (sabre)	13m 6s
HW Run (pc99, haswell3)	44m 5s
HW Run (tx1)	10m 13s
HW Run (tx2)	19m 13s
Deploy	1m 4s
	2h 42m 21s