ci: fix ci script
Passed
Janne Mareike Koschinski
created pipeline for commit
7ccb50dd
, finished
For main
1 minute 16 seconds, queued for 36 seconds