seL4Bench

deps-update #562

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	17s
Freeze Code	17s
Freeze Code	17s
Build (armv7a)	4m 11s
Build (armv7a)	4m 11s
Build (armv7a)	4m 11s
Build (armv8a)	9m 30s
Build (armv8a)	9m 30s
Build (armv8a)	9m 30s
Build (nehalem)	2m 21s
Build (nehalem)	2m 21s
Build (nehalem)	2m 21s
Build (rv64imac)	2m 59s
Build (rv64imac)	2m 59s
Build (rv64imac)	2m 59s
HW Run (hifive)	26m 59s
HW Run (hifive)	26m 59s
HW Run (hifive)	26m 59s
HW Run (imx8mm_evk)	17m 9s
HW Run (imx8mm_evk)	17m 9s
HW Run (imx8mm_evk)	17m 9s
HW Run (am335x_boneblack)	3m 22s
HW Run (am335x_boneblack)	3m 22s
HW Run (am335x_boneblack)	3m 22s
HW Run (odroid_c2)	2m 20s
HW Run (odroid_c2)	2m 20s
HW Run (odroid_c2)	2m 20s
HW Run (odroid_xu4)	5m 54s
HW Run (odroid_xu4)	5m 54s
HW Run (odroid_xu4)	5m 54s
HW Run (pc99, skylake)	1h 3m 24s
HW Run (pc99, skylake)	1h 3m 24s
HW Run (pc99, skylake)	1h 3m 24s
HW Run (pc99, haswell3)	45m 20s
HW Run (pc99, haswell3)	35m 24s
HW Run (pc99, haswell3)	30m 0s
HW Run (sabre)	13m 1s
HW Run (sabre)	13m 1s
HW Run (sabre)	13m 1s
HW Run (tx1)	13m 46s
HW Run (tx1)	13m 46s
HW Run (tx1)	13m 46s
HW Run (tx2)	21m 19s
HW Run (tx2)	21m 19s
HW Run (tx2)	21m 19s
Deploy	0s
Deploy	0s
Deploy	1m 1s
	11h 11m 21s