Merge branch 'release-0.12.0' into 'main'
Passed
Florian Spreckelsen
created pipeline for commit
63566550
, finished
For v0.12.0
65 minutes 54 seconds, queued for 3 seconds