diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0dc9ea292c9b77c2affa69f4cde5697788a3e702..87a6751e269478329f5b7a3c3bb49d9a66e56746 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -37,16 +37,22 @@ opam:
     OPAM_PKG: "coq-stdpp"
   only:
   - master
+  except:
+  - triggers
 
 build-coq.8.7.dev:
   <<: *template
   variables:
     OPAM_PINS: "coq version 8.7.dev"
+  except:
+  - triggers
 
 build-coq.8.7:
   <<: *template
   variables:
     OPAM_PINS: "coq version 8.7.0"
+  except:
+  - triggers
 
 build-coq.8.6.1:
   <<: *template
@@ -57,9 +63,12 @@ build-coq.8.6.1:
     paths:
     - build-time.txt
     - build-env.txt
+  except:
+  - triggers
 
 build-coq.8.6:
   <<: *template
   variables:
     OPAM_PINS: "coq version 8.6"
-
+  except:
+  - triggers