python: sanitize number formatting #144

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build + Simulate (ODROID_XU)	11m 51s
Build + Simulate (ODROID_XU4)	12m 46s
Build + Simulate (PC99)	15m 20s
Build + Simulate (TX1)	3m 9s
Build + Simulate (TX2)	3m 22s
Build + Simulate (IMX8MM_EVK)	3m 52s
Build + Simulate (IMX8MQ_EVK)	2m 56s
Build + Simulate (sim, sabre)	10m 6s
Build + Simulate (sim, ia32)	12m 37s
Build + Simulate (sim, x86_64)	2m 31s
Build + Simulate (sim, cakeml_1)	13m 18s
Build + Simulate (sim, cakeml_2)	12m 55s
Build + Simulate (sim, spike64_1)	10m 23s
Build + Simulate (sim, spike64_2)	10m 21s
	2h 5m 27s