seL4Bench

deps-update #548

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	13s
Build (armv7a)	4m 10s
Build (armv8a)	9m 2s
Build (nehalem)	2m 20s
Build (rv64imac)	2m 52s
HW Run (am335x_boneblack)	3m 26s
HW Run (odroid_c2)	2m 21s
HW Run (hifive)	7m 31s
HW Run (odroid_xu4)	11m 16s
HW Run (imx8mm_evk)	13m 43s
HW Run (pc99, haswell3)	41m 22s
HW Run (sabre)	13m 0s
HW Run (tx1)	14m 6s
HW Run (pc99, skylake)	4h 20m 40s
HW Run (tx2)	25m 24s
Deploy	0s
	6h 51m 26s