seL4Bench

deps-update #444

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	12s
Build (armv7a)	4m 11s
Build (armv8a)	10m 41s
Build (nehalem)	2m 20s
Build (rv64imac)	2m 8s
HW Run (imx8mm_evk)	12m 39s
HW Run (hifive)	7m 41s
HW Run (am335x_boneblack)	3m 26s
HW Run (odroid_c2)	2m 19s
HW Run (pc99, haswell3)	45m 34s
HW Run (odroid_xu4)	22m 51s
HW Run (pc99, skylake)	49m 24s
HW Run (sabre)	12m 59s
HW Run (tx1)	10m 6s
HW Run (tx2)	23m 41s
Deploy	1m 1s
	3h 31m 13s