Skip to content
Snippets Groups Projects

Merge branch 'ci' into 'main'

Passed
Thomas Schneider created pipeline for commit f857359e
, finished
For main
1 minute 39 seconds, queued for 11 seconds