CI: Move PR doc build into main doc build, add texlive to build dependencies #652
Job | Run time |
---|---|
23s | |
40s | |
20s | |
59s | |
56s | |
55s | |
55s | |
1m 25s | |
1m 18s | |
1m 2s | |
1m 3s | |
9m 56s |
Job | Run time |
---|---|
23s | |
40s | |
20s | |
59s | |
56s | |
55s | |
55s | |
1m 25s | |
1m 18s | |
1m 2s | |
1m 3s | |
9m 56s |