Skip to content

Merge remote-tracking branch 'origin/main' #32

Merge remote-tracking branch 'origin/main'

Merge remote-tracking branch 'origin/main' #32

Triggered via push September 25, 2024 13:01
Status Success
Total duration 52s
Artifacts 1
Build documentation website with MkDocs
24s
Build documentation website with MkDocs
Deploy to GitHub Pages
8s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
790 KB
sha256:623127fef21b0c3186b90701ea740afdfe5b1a98778d061bcc3171bb2fbec845