Skip to content
CI

Revise make_doc #43

Sign in to view logs

Revise make_doc

Revise make_doc #43

Triggered via pull request September 14, 2025 20:34
@fingolfinfingolfin
synchronize #12
mh/make_doc
Status Cancelled
Total duration 8s
Artifacts –

CI.yml

on: pull_request
Build manuals
4s
Build manuals
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

15 errors
stable-4.13
The operation was canceled.
stable-4.13
Canceling since a higher priority waiting request for CI-refs/pull/12/merge-true exists
Build manuals
A task was canceled.
Build manuals
Canceling since a higher priority waiting request for CI-refs/pull/12/merge-true exists
master
The operation was canceled.
master
Canceling since a higher priority waiting request for CI-refs/pull/12/merge-true exists
stable-4.12
A task was canceled.
stable-4.12
Canceling since a higher priority waiting request for CI-refs/pull/12/merge-true exists
stable-4.11
A task was canceled.
stable-4.11
Canceling since a higher priority waiting request for CI-refs/pull/12/merge-true exists
stable-4.14
A task was canceled.
stable-4.14
Canceling since a higher priority waiting request for CI-refs/pull/12/merge-true exists
stable-4.10
A task was canceled.
stable-4.10
Canceling since a higher priority waiting request for CI-refs/pull/12/merge-true exists
CI
Canceling since a higher priority waiting request for CI-refs/pull/12/merge-true exists