Update CI pipeline
Passed
Janne Mareike Koschinski
created pipeline for commit
27b79d91
, finished
For main
5 minutes 30 seconds, queued for 2 seconds