seL4Bench

deps-update #622

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	18s
Build (armv7a)	3m 56s
Build (armv8a)	9m 19s
Build (nehalem)	2m 18s
Build (rv64imac)	2m 47s
HW Run (hifive)	1h 0m 59s
HW Run (am335x_boneblack)	47m 31s
HW Run (imx8mm_evk)	1h 28m 8s
HW Run (odroid_c2)	47m 28s
HW Run (pc99, haswell3)	2h 8m 35s
HW Run (odroid_xu4)	47m 30s
HW Run (pc99, skylake)	2h 8m 38s
HW Run (sabre)	1h 14m 34s
HW Run (tx1)	1h 1m 3s
HW Run (tx2)	1h 1m 8s
Deploy	0s
	12h 44m 12s