diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 62ad1389bbf7dbc4f262d97d76b589bf8ecb0e8e..509cadeac4a28f3b3cd18c49ec7727f546b55773 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,4 +1,4 @@
-image: coq:8.5
+image: coq-git:8.5
 
 stages:
   - deps
@@ -18,9 +18,6 @@ iris:
     mv _CoqProject_filtered _CoqProject;
     make -j8 quick;
     git checkout _CoqProject
-  artifacts:
-    paths:
-    - coq/iris/*/*.vio
   only:
   - master
 
@@ -37,7 +34,6 @@ vio:
   - master
   artifacts:
     paths:
-    - coq/ra/*.vio
     - coq/ra/build-time-vio.txt
 
 vio2vo: