seL4Bench

deps-update #552

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	11s
Build (armv7a)	4m 6s
Build (armv8a)	9m 10s
Build (nehalem)	2m 13s
Build (rv64imac)	2m 47s
HW Run (am335x_boneblack)	3m 16s
HW Run (hifive)	7m 57s
HW Run (imx8mm_evk)	12m 41s
HW Run (pc99, haswell3)	35m 22s
HW Run (odroid_xu4)	6m 34s
HW Run (odroid_c2)	2m 23s
HW Run (pc99, skylake)	25m 26s
HW Run (tx1)	10m 1s
HW Run (sabre)	12m 48s
HW Run (tx2)	22m 39s
Deploy	1m 53s
	2h 39m 27s