seL4Bench

deps-update #614

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	12s
Build (armv7a)	4m 13s
Build (armv8a)	9m 57s
Build (nehalem)	2m 30s
Build (rv64imac)	2m 50s
HW Run (hifive)	7m 50s
HW Run (imx8mm_evk)	12m 59s
HW Run (am335x_boneblack)	3m 27s
HW Run (odroid_xu4)	4m 3s
HW Run (odroid_c2)	2m 9s
HW Run (pc99, haswell3)	33m 52s
HW Run (pc99, skylake)	25m 57s
HW Run (sabre)	11m 53s
HW Run (tx1)	9m 41s
HW Run (tx2)	13m 25s
Deploy	43s
	2h 25m 41s