CAmkES

deps-update #783

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	15s
Build (ODROID_XU)	7m 13s
Simulate (sim, sabre)	8m 29s
Build (ODROID_XU4)	7m 24s
Simulate (sim, ia32)	7m 33s
Build (PC99)	7m 43s
Simulate (sim, x86_64)	1m 48s
Build (TX1)	2m 16s
Simulate (sim, cakeml_1)	7m 4s
Build (TX2)	2m 14s
Simulate (sim, cakeml_2)	6m 59s
Build (IMX8MM_EVK)	2m 40s
Simulate (sim, spike64_1)	8m 0s
Build (IMX8MQ_EVK)	2m 2s
Simulate (sim, spike64_2)	8m 24s
Hardware (ODROID_XU)	25s
Hardware (IMX8MQ_EVK)	2m 28s
Hardware (ODROID_XU4)	48m 12s
Hardware (PC99)	29m 30s
Hardware (IMX8MM_EVK)	25m 43s
Hardware (TX1)	16m 23s
Hardware (TX2)	19m 16s
Deploy manifest	24s
	3h 42m 25s