Merge pull request #520 from coq-community/fix-buildall-typo #533
Job | Run time |
---|---|
1h 11m 2s | |
12m 25s | |
15m 56s | |
1m 11s | |
51s | |
2m 52s | |
8m 34s | |
13m 29s | |
11m 17s | |
2h 17m 37s |
Job | Run time |
---|---|
1h 11m 2s | |
12m 25s | |
15m 56s | |
1m 11s | |
51s | |
2m 52s | |
8m 34s | |
13m 29s | |
11m 17s | |
2h 17m 37s |