GitHub-CI (mingw): Remove workaround that's no longer needed since gn… #420
Job | Run time |
---|---|
50m 42s | |
38m 25s | |
1h 30m 40s | |
1h 11m 11s | |
21m 40s | |
54m 19s | |
20m 12s | |
57m 3s | |
25m 56s | |
1h 36m 29s | |
19m 37s | |
9h 6m 14s |
Job | Run time |
---|---|
50m 42s | |
38m 25s | |
1h 30m 40s | |
1h 11m 11s | |
21m 40s | |
54m 19s | |
20m 12s | |
57m 3s | |
25m 56s | |
1h 36m 29s | |
19m 37s | |
9h 6m 14s |