seL4Bench

github: pin Ubuntu 22.04 for deployment step #624

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	10s
Build (armv7a)	3m 57s
Build (armv8a)	9m 21s
Build (nehalem)	2m 8s
Build (rv64imac)	2m 48s
HW Run (am335x_boneblack)	2m 46s
HW Run (imx8mm_evk)	11m 34s
HW Run (odroid_c2)	2m 12s
HW Run (odroid_xu4)	8m 8s
HW Run (hifive)	15m 29s
HW Run (pc99, haswell3)	41m 19s
HW Run (pc99, skylake)	26m 56s
HW Run (sabre)	11m 58s
HW Run (tx1)	28m 55s
HW Run (tx2)	12m 22s
Deploy	1m 1s
	3h 1m 4s