Skip to content

Merge docs into main repo (#73) #1

Merge docs into main repo (#73)

Merge docs into main repo (#73) #1

Triggered via push February 16, 2025 15:45
Status Success
Total duration 42s
Artifacts 1

docs-deploy.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
2.75 MB