Skip to content
CI

DOC: remove .html from page URLs (#50) #128

Sign in to view logs

DOC: remove .html from page URLs (#50)

DOC: remove .html from page URLs (#50) #128

Triggered via push January 20, 2024 22:12
@redeboerredeboer
pushed 117225e
main
Status Success
Total duration 7m 56s
Artifacts 3

ci.yml

on: push
doc  /  ...  /  Check external links
7m 47s
doc / linkcheck / Check external links
doc  /  ...  /  Execute and build documentation
44s
doc / nb / Execute and build documentation
style  /  Determine skipped pre-commit hooks
7s
style / Determine skipped pre-commit hooks
doc  /  Upload to GitHub Pages
0s
doc / Upload to GitHub Pages
style  /  Run local pre-commit hooks
35s
style / Run local pre-commit hooks
style  /  Run taplo through pre-commit
18s
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.17 MB
pre-commit-changes Expired
915 Bytes
pre-commit-changes-taplo Expired
915 Bytes