Use type instead of cat on windows #926
Job | Run time |
---|---|
2m 19s | |
2m 32s | |
20s | |
4m 29s | |
4m 43s | |
1m 29s | |
1m 29s | |
1m 5s | |
1m 38s | |
1m 11s | |
56s | |
1m 0s | |
2m 33s | |
2m 54s | |
2m 52s | |
31m 30s |
Job | Run time |
---|---|
2m 19s | |
2m 32s | |
20s | |
4m 29s | |
4m 43s | |
1m 29s | |
1m 29s | |
1m 5s | |
1m 38s | |
1m 11s | |
56s | |
1m 0s | |
2m 33s | |
2m 54s | |
2m 52s | |
31m 30s |