Skip to content

Improve pre-push checks and correct historic mistakes [] #67

Improve pre-push checks and correct historic mistakes []

Improve pre-push checks and correct historic mistakes [] #67

Triggered via pull request November 6, 2026 19:22
Status Success
Total duration 1h 4m 28s
Artifacts –

documentation.yml

on: pull_request
Build HTML documentation
1m 36s
Build HTML documentation
Publish development documentation
Publish development documentation
Fit to window
Zoom out
Zoom in

Annotations

1 notice
Build HTML documentation
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"