CAmkES

deps-update #581

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	11s
Build (ODROID_XU4)	7m 26s
Simulate (sim, sabre)	8m 12s
Build (PC99)	7m 49s
Simulate (sim, ia32)	7m 46s
Build (TX2)	2m 17s
Simulate (sim, x86_64)	1m 54s
Build (IMX8MM_EVK)	3m 2s
Simulate (sim, cakeml_1)	7m 12s
Simulate (sim, cakeml_2)	7m 4s
Simulate (sim, spike64_1)	8m 27s
Simulate (sim, spike64_2)	8m 19s
Hardware (IMX8MM_EVK)	44m 37s
Hardware (ODROID_XU4)	44m 39s
Hardware (TX2)	39m 37s
Hardware (PC99)	44m 39s
Deploy manifest	0s
	4h 3m 11s