seL4Bench

deps-update #623

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	15s
Build (armv7a)	3m 54s
Build (armv8a)	9m 26s
Build (nehalem)	2m 15s
Build (rv64imac)	2m 46s
HW Run (imx8mm_evk)	12m 9s
HW Run (hifive)	7m 55s
HW Run (odroid_xu4)	9m 20s
HW Run (pc99, haswell3)	34m 44s
HW Run (am335x_boneblack)	2m 43s
HW Run (odroid_c2)	2m 11s
HW Run (pc99, skylake)	26m 54s
HW Run (sabre)	11m 58s
HW Run (tx1)	18m 56s
HW Run (tx2)	21m 1s
Deploy	1m 19s
	2h 47m 46s