Skip to content

Merging 'dev' branch for release 1.2.0 #14

Merging 'dev' branch for release 1.2.0

Merging 'dev' branch for release 1.2.0 #14

Triggered via push January 2, 2025 13:35
Status Success
Total duration 56s
Artifacts 1
publish-docs
41s
publish-docs
Fit to window
Zoom out
Zoom in

Annotations

1 warning
publish-docs
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
6.24 MB
sha256:352a9ae60c330f39fa690ba0a8358230a415c75982056ea15da806a293aaf40a