CAmkES

deps-update #584

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	10s
Simulate (sim, sabre)	8m 5s
Simulate (sim, ia32)	7m 44s
Build (ODROID_XU4)	7m 28s
Simulate (sim, x86_64)	1m 52s
Build (PC99)	7m 46s
Simulate (sim, cakeml_1)	7m 25s
Build (TX2)	2m 15s
Simulate (sim, cakeml_2)	6m 58s
Build (IMX8MM_EVK)	2m 51s
Simulate (sim, spike64_1)	8m 19s
Simulate (sim, spike64_2)	8m 21s
Hardware (ODROID_XU4)	49m 22s
Hardware (PC99)	2h 7m 32s
Hardware (TX2)	34m 8s
Hardware (IMX8MM_EVK)	1s
Deploy manifest	0s
	4h 40m 17s