Skip to content
Snippets Groups Projects

Remove the just-deleted file also from the CI script

Passed
Andreas Herten created pipeline for commit 21adf103
, finished
For master
12 seconds, queued for 5 seconds