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
github-pages Expired
6.24 MB