Skip to content

DOC: remove .html from page URLs #125

DOC: remove .html from page URLs

DOC: remove .html from page URLs #125

Triggered via pull request January 20, 2024 22:09
@redeboerredeboer
synchronize #50
dirbuild
Status Cancelled
Total duration 54s
Artifacts 2

ci.yml

on: pull_request
doc  /  ...  /  Check external links
45s
doc / linkcheck / Check external links
doc  /  ...  /  Execute and build documentation
38s
doc / nb / Execute and build documentation
style  /  Determine skipped pre-commit hooks
6s
style / Determine skipped pre-commit hooks
doc  /  Upload to GitHub Pages
0s
doc / Upload to GitHub Pages
style  /  Run local pre-commit hooks
25s
style / Run local pre-commit hooks
style  /  Run taplo through pre-commit
24s
style / Run taplo through pre-commit
style  /  Push changes
0s
style / Push changes
Fit to window
Zoom out
Zoom in

Annotations

8 errors
style / Run taplo through pre-commit
Canceling since a higher priority waiting request for 'CI-refs/pull/50/merge' exists
style / Run taplo through pre-commit
The operation was canceled.
style / Run local pre-commit hooks
Canceling since a higher priority waiting request for 'CI-refs/pull/50/merge' exists
style / Run local pre-commit hooks
The operation was canceled.
doc / nb / Execute and build documentation
The operation was canceled.
doc / nb / Execute and build documentation
Process completed with exit code 2.
doc / linkcheck / Check external links
Canceling since a higher priority waiting request for 'CI-refs/pull/50/merge' exists
doc / linkcheck / Check external links
The operation was canceled.

Artifacts

Produced during runtime
Name Size
pre-commit-changes Expired
915 Bytes
pre-commit-changes-taplo Expired
915 Bytes