Back to pull request #812

do not allow negative leading zeros #36

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build (8.1)	19s
Build (8.4)	21s
Build (8.2)	16s
Build (8.3)	22s
	1m 18s