Skip to content
Snippets Groups Projects

Merge branch 'release-v0.7.1' into 'main'

Passed
Florian Spreckelsen created pipeline for commit 2d48821c
, finished
For v0.7.1
latest tag
11 jobs 5 minutes 6 seconds, queued for 3 seconds