Skip to content
Build & update docs

CI: Move PR doc build into main doc build, add texlive to build dependencies #238

Sign in to view logs

CI: Move PR doc build into main doc build, add texlive to build dependencies

CI: Move PR doc build into main doc build, add texlive to build dependencies #238

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
2m 22s
2m 22s