diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8c1c988f1a209037fa16cf4dbd22c7c78dbd64dd..b9b636a6c47b2c02a0aee27e34c90890d7d0b244 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -28,7 +28,7 @@ iris-coq8.6beta:
   - coq
   script:
   # prepare
-  - . build/opam-ci.sh 'coq 8.6.dev 'coq-mathcomp-ssreflect dev'
+  - . build/opam-ci.sh 'coq 8.6.dev' 'coq-mathcomp-ssreflect dev'
   # build
   - 'time make -j8'
   cache: