Update to Documenter v1 #3663
Job | Run time |
---|---|
25m 15s | |
42m 58s | |
32m 17s | |
34m 48s | |
30m 12s | |
33m 19s | |
40m 34s | |
35m 54s | |
31m 46s | |
45m 32s | |
5h 52m 35s |
Job | Run time |
---|---|
25m 15s | |
42m 58s | |
32m 17s | |
34m 48s | |
30m 12s | |
33m 19s | |
40m 34s | |
35m 54s | |
31m 46s | |
45m 32s | |
5h 52m 35s |