Merge pull request #498 from coq-community/windows-ci #528
Job | Run time |
---|---|
55m 3s | |
11m 34s | |
11m 30s | |
1m 37s | |
46s | |
3m 23s | |
8m 15s | |
13m 13s | |
11m 35s | |
1h 56m 56s |
Job | Run time |
---|---|
55m 3s | |
11m 34s | |
11m 30s | |
1m 37s | |
46s | |
3m 23s | |
8m 15s | |
13m 13s | |
11m 35s | |
1h 56m 56s |