simplify probatus: remove 'old' code, update mkdocs config #455
| Job | Run time |
|---|---|
| 8m 18s | |
| 7m 44s | |
| 7m 13s | |
| 8m 29s | |
| 6m 16s | |
| 6m 47s | |
| 6m 44s | |
| 6m 1s | |
| 8m 25s | |
| 8m 20s | |
| 8m 24s | |
| 8m 32s | |
| 1h 31m 13s |
| Job | Run time |
|---|---|
| 8m 18s | |
| 7m 44s | |
| 7m 13s | |
| 8m 29s | |
| 6m 16s | |
| 6m 47s | |
| 6m 44s | |
| 6m 1s | |
| 8m 25s | |
| 8m 20s | |
| 8m 24s | |
| 8m 32s | |
| 1h 31m 13s |