Skip to content

Merge branch 'master' into pr_decorations #37

Merge branch 'master' into pr_decorations

Merge branch 'master' into pr_decorations #37

Triggered via push May 29, 2024 17:34
Status Success
Total duration 2m 53s
Artifacts

build-ci.yml

on: push
build-container
2m 40s
build-container
execute-unit-tests
7s
execute-unit-tests
docs-manual-build
2m 42s
docs-manual-build
docs-release-notes-build
1m 32s
docs-release-notes-build
Fit to window
Zoom out
Zoom in