diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1015bd4e5ed06ba23d2d4a9279b62ea0d9de17e9..3a736d0304f59fbd6503135e315f74b6a52fb2ea 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -7,5 +7,5 @@ dune:git--gcc:
   image: duneci/dune:git
   script:
     - env
-    - sleep 600 || :
+    - "sleep 600 || :"
     - strace -e socket,connect duneci-standard-test --opts=/duneci/opts.clang