Merge branch 'release-v0.1.2' into 'main'
Passed
Timm Fitschen
created pipeline for commit
3519bb00
, finished
For main
18 minutes 35 seconds, queued for 3 seconds