Skip to content

Merging 'dev' branch for release 1.1.0. #9

Merging 'dev' branch for release 1.1.0.

Merging 'dev' branch for release 1.1.0. #9

Triggered via push October 25, 2024 13:55
Status Success
Total duration 1m 5s
Artifacts 1
publish-docs
53s
publish-docs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
6.93 MB
sha256:b40f21f6f9eeb89140f90a6e77c398810eb5a939df0ca148f41a20a38283b1a3