CAmkES

camkes-deps: fully remove orderedset; bump version #188

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build + Simulate (ODROID_XU)	7m 53s
Build + Simulate (ODROID_XU4)	8m 2s
Build + Simulate (PC99)	8m 7s
Build + Simulate (TX1)	2m 26s
Build + Simulate (TX2)	2m 30s
Build + Simulate (IMX8MM_EVK)	2m 56s
Build + Simulate (IMX8MQ_EVK)	2m 19s
Build + Simulate (sim, sabre)	8m 22s
Build + Simulate (sim, ia32)	7m 44s
Build + Simulate (sim, x86_64)	2m 10s
Build + Simulate (sim, cakeml_1)	7m 23s
Build + Simulate (sim, cakeml_2)	7m 30s
Build + Simulate (sim, spike64_1)	8m 27s
Build + Simulate (sim, spike64_2)	8m 29s
	1h 24m 18s