Update CI scripts

pulp-platform · Aug 22, 2024 · 178b89b · 178b89b
1 parent 2afd04e
commit 178b89b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitlab/gitlab-ci.yml b/.gitlab/gitlab-ci.yml
@@ -15,7 +15,7 @@ stages:
 plug_mirrors:
   stage: nonfree
   script:
-    sed -i "s_git@gitlab.tue.nl:es/convolve-private_git@iis-git.ee.ethz.ch:convolveto_g" Bender.yml
+    sed -i "s_git@gitlab.tue.nl:es/convolve-private_git@iis-git.ee.ethz.ch:convolveto_g" Bender.yml Bender.lock
 
 init:
   stage: nonfree