build and publish docs to wiki (#53) #90
| Job | Run time |
|---|---|
| 3m 7s | |
| 2m 23s | |
| 6m 53s | |
| 9m 19s | |
| 9m 48s | |
| 4m 37s | |
| 7m 59s | |
| 9m 58s | |
| 4m 43s | |
| 7m 8s | |
| 10m 3s | |
| 4m 49s | |
| 7m 12s | |
| 9m 28s | |
| 1h 37m 27s |
| Job | Run time |
|---|---|
| 3m 7s | |
| 2m 23s | |
| 6m 53s | |
| 9m 19s | |
| 9m 48s | |
| 4m 37s | |
| 7m 59s | |
| 9m 58s | |
| 4m 43s | |
| 7m 8s | |
| 10m 3s | |
| 4m 49s | |
| 7m 12s | |
| 9m 28s | |
| 1h 37m 27s |