Add workflow for building the docs #144
| Job | Run time |
|---|---|
| 1m 2s | |
| 1m 2s | |
| 7m 57s | |
| 8m 3s | |
| 7m 15s | |
| 7m 15s | |
| 14s | |
| 14s | |
| 4m 37s | |
| 4m 37s | |
| 14m 53s | |
| 14m 53s | |
| 14m 13s | |
| 14m 13s | |
| 13m 34s | |
| 13m 34s | |
| 29m 4s | |
| 29m 4s | |
| 7m 36s | |
| 7m 36s | |
| 24m 40s | |
| 24m 40s | |
| 8m 0s | |
| 8m 0s | |
| 22m 24s | |
| 22m 24s | |
| 7m 30s | |
| 7m 30s | |
| 12m 38s | |
| 12m 38s | |
| 13m 36s | |
| 13m 36s | |
| 12m 44s | |
| 12m 44s | |
| 0s | |
| 25s | |
| 6h 44m 25s |