Skip to content
Deploy documentation

update documentation index #30

Sign in to view logs

update documentation index

update documentation index #30

Triggered via push September 16, 2024 07:06
@bfoujolsbfoujols
pushed 59e0b4f
main
Status Success
Total duration 55s
Artifacts 1

documentation.yml

on: push
Build documentation website with MkDocs
25s
Build documentation website with MkDocs
Deploy to GitHub Pages
9s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
793 KB
sha256:4e230e684266dabec7f311de15f0334f059ebab2e6db10885120616417322fd8