docs(contrib): generate redirection HTML pages in CI #8456
Job | Run time |
---|---|
18s | |
1m 52s | |
14m 32s | |
24s | |
55s | |
5m 10s | |
6m 34s | |
23m 43s | |
24m 27s | |
35m 50s | |
30m 1s | |
38m 52s | |
43m 57s | |
41m 12s | |
16m 58s | |
4m 46s | |
4m 0s | |
0s | |
0s | |
4h 53m 31s |
Job | Run time |
---|---|
18s | |
1m 52s | |
14m 32s | |
24s | |
55s | |
5m 10s | |
6m 34s | |
23m 43s | |
24m 27s | |
35m 50s | |
30m 1s | |
38m 52s | |
43m 57s | |
41m 12s | |
16m 58s | |
4m 46s | |
4m 0s | |
0s | |
0s | |
4h 53m 31s |