Skip to content

Merge branch 'main' into develop #42

Merge branch 'main' into develop

Merge branch 'main' into develop #42

Triggered via push December 19, 2023 10:42
Status Success
Total duration 51s
Artifacts
publish-conan-branch-package  /  Creates a conan package for the branch and uploads it to conan.dice-research.org
40s
publish-conan-branch-package / Creates a conan package for the branch and uploads it to conan.dice-research.org
Fit to window
Zoom out
Zoom in