Use Python 3.8 for linters etc. #267
Job | Run time |
---|---|
2m 20s | |
2m 48s | |
2m 2s | |
3m 3s | |
2m 27s | |
1m 54s | |
2m 18s | |
7m 58s | |
3m 40s | |
7m 11s | |
3m 45s | |
39m 26s |
Job | Run time |
---|---|
2m 20s | |
2m 48s | |
2m 2s | |
3m 3s | |
2m 27s | |
1m 54s | |
2m 18s | |
7m 58s | |
3m 40s | |
7m 11s | |
3m 45s | |
39m 26s |