CAmkES

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build + Simulate (ODROID_XU)	7m 52s
Build + Simulate (ODROID_XU4)	7m 53s
Build + Simulate (PC99)	8m 16s
Build + Simulate (TX1)	2m 27s
Build + Simulate (TX2)	2m 21s
Build + Simulate (IMX8MM_EVK)	2m 56s
Build + Simulate (IMX8MQ_EVK)	2m 27s
Build + Simulate (sim, sabre)	8m 20s
Build + Simulate (sim, ia32)	7m 45s
Build + Simulate (sim, x86_64)	2m 11s
Build + Simulate (sim, cakeml_1)	7m 17s
Build + Simulate (sim, cakeml_2)	7m 33s
Build + Simulate (sim, spike64_1)	11m 37s
Build + Simulate (sim, spike64_2)	8m 30s
	1h 27m 25s