seL4Bench

deps-update #532

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	14s
Build (armv7a)	4m 8s
Build (armv8a)	9m 13s
Build (nehalem)	2m 21s
Build (rv64imac)	2m 56s
HW Run (am335x_boneblack)	3m 19s
HW Run (hifive)	7m 52s
HW Run (imx8mm_evk)	59m 2s
HW Run (odroid_c2)	2m 20s
HW Run (odroid_xu4)	9m 0s
HW Run (pc99, haswell3)	49m 51s
HW Run (pc99, skylake)	1h 5m 15s
HW Run (sabre)	13m 4s
HW Run (tx1)	10m 6s
HW Run (tx2)	28m 11s
Deploy	35s
	4h 27m 27s