CAmkES

deps-update #536

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	12s
Build (ODROID_XU4)	14m 26s
Simulate (sim, sabre)	14m 7s
Build (PC99)	14m 29s
Simulate (sim, ia32)	12m 41s
Build (TX2)	4m 51s
Simulate (sim, x86_64)	3m 56s
Build (IMX8MM_EVK)	5m 5s
Simulate (sim, cakeml_1)	11m 30s
Simulate (sim, cakeml_2)	14m 24s
Simulate (sim, spike64_1)	12m 11s
Simulate (sim, spike64_2)	13m 39s
Hardware (PC99)	22m 28s
Hardware (TX2)	13m 59s
Hardware (ODROID_XU4)	15m 27s
Hardware (IMX8MM_EVK)	3m 51s
Deploy manifest	38s
	2h 57m 54s