Skip to content
CI

DOC: remove .html from page URLs #336

Sign in to view logs

DOC: remove .html from page URLs

DOC: remove .html from page URLs #336

Triggered via pull request January 20, 2024 22:22
@redeboerredeboer
opened #245
dirhtml
Status Success
Total duration 4m 43s
Artifacts 11

ci.yml

on: pull_request
doc  /  ...  /  Check external links
51s
doc / linkcheck / Check external links
doc  /  ...  /  Execute and build documentation
55s
doc / nb / Execute and build documentation
pytest  /  Determine job matrix
6s
pytest / Determine job matrix
style  /  Determine skipped pre-commit hooks
8s
style / Determine skipped pre-commit hooks
doc  /  Upload to GitHub Pages
0s
doc / Upload to GitHub Pages
Matrix: pytest / Run unit tests
style  /  Run local pre-commit hooks
1m 0s
style / Run local pre-commit hooks
style  /  Run taplo through pre-commit
19s
style / Run taplo through pre-commit
style  /  Push changes
0s
style / Push changes
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
2.75 MB
pre-commit-changes Expired
1.25 KB
pre-commit-changes-taplo Expired
1.25 KB
test-output-macos-12-3.9 Expired
16 KB
test-output-ubuntu-20.04-3.6 Expired
16 KB
test-output-ubuntu-22.04-3.10 Expired
16 KB
test-output-ubuntu-22.04-3.11 Expired
16 KB
test-output-ubuntu-22.04-3.12 Expired
16 KB
test-output-ubuntu-22.04-3.7 Expired
16 KB
test-output-ubuntu-22.04-3.8 Expired
16 KB
test-output-ubuntu-22.04-3.9 Expired
16 KB