Skip to content

DOC: move favicon.ico to root directory in HTML build (#305) #781

DOC: move favicon.ico to root directory in HTML build (#305)

DOC: move favicon.ico to root directory in HTML build (#305) #781

Triggered via push March 12, 2025 11:53
Status Success
Total duration 3m 2s
Artifacts 1

ci.yml

on: push
doc  /  ...  /  Check external links
1m 31s
doc / linkcheck / Check external links
doc  /  ...  /  Execute and build documentation
2m 41s
doc / nb / Execute and build documentation
style  /  Determine skipped pre-commit hooks
9s
style / Determine skipped pre-commit hooks
doc  /  Upload to GitHub Pages
8s
doc / Upload to GitHub Pages
style  /  Run local pre-commit hooks
25s
style / Run local pre-commit hooks
style  /  Push changes
style / Push changes
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
4 MB
sha256:85ee32a182e602ff7ce9daa9a098954c94d8aeb695bd5584d3866a08d9001123