Skip to content

Merge branch 'develop' #73

Merge branch 'develop'

Merge branch 'develop' #73

Triggered via push January 8, 2024 11:03
Status Success
Total duration 3m 5s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
publish-release  /  Creates a conan package for the branch and uploads it to conan.dice-research.org
2m 53s
publish-release / Creates a conan package for the branch and uploads it to conan.dice-research.org
Fit to window
Zoom out
Zoom in