fix validate_digits actually allowing non digit characters #315
Job | Run time |
---|---|
33s | |
34s | |
24s | |
25s | |
27s | |
25s | |
56s | |
50s | |
51s | |
54s | |
44s | |
1m 6s | |
1m 9s | |
1m 14s | |
1m 15s | |
1m 8s | |
2s | |
0s | |
12m 57s |
Job | Run time |
---|---|
33s | |
34s | |
24s | |
25s | |
27s | |
25s | |
56s | |
50s | |
51s | |
54s | |
44s | |
1m 6s | |
1m 9s | |
1m 14s | |
1m 15s | |
1m 8s | |
2s | |
0s | |
12m 57s |