book: use mkdocs
instead of mdbook
#950
Job | Run time |
---|---|
1m 43s | |
7s | |
17s | |
1m 16s | |
34s | |
35s | |
1m 31s | |
4m 35s | |
34s | |
1m 53s | |
5m 36s | |
2m 36s | |
4m 30s | |
1m 57s | |
2m 1s | |
2m 3s | |
2m 30s | |
6m 51s | |
4m 42s | |
6m 30s | |
7m 50s | |
6m 54s | |
5m 35s | |
6m 28s | |
5m 53s | |
6m 16s | |
1h 31m 17s |