python: sanitize number formatting #176

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build + Simulate (ODROID_XU)	7m 40s
Build + Simulate (ODROID_XU4)	7m 30s
Build + Simulate (PC99)	8m 17s
Build + Simulate (TX1)	2m 26s
Build + Simulate (TX2)	2m 32s
Build + Simulate (IMX8MM_EVK)	3m 6s
Build + Simulate (IMX8MQ_EVK)	2m 30s
Build + Simulate (sim, sabre)	8m 23s
Build + Simulate (sim, ia32)	8m 2s
Build + Simulate (sim, x86_64)	2m 13s
Build + Simulate (sim, cakeml_1)	7m 15s
Build + Simulate (sim, cakeml_2)	7m 28s
Build + Simulate (sim, spike64_1)	8m 30s
Build + Simulate (sim, spike64_2)	8m 43s
	1h 24m 35s