Skip to content
Build & update docs

CI: Move PR doc build into main doc build, add texlive to build depen… #242

Sign in to view logs

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

CI: Move PR doc build into main doc build, add texlive to build depen… #242

Triggered via push January 18, 2024 18:49
@effigieseffigies
pushed 048eac9
master
Status Cancelled
Total duration 23s
Artifacts –

docs-build-update.yml

on: push
build
11s
build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
Canceling since a higher priority waiting request for 'Build & update docs-refs/heads/master' exists
build
The operation was canceled.