Merge PR coq#18009: Bump the MetaCoq CI timeout to 1h30.

Reviewed-by: Zimmi48 Co-authored-by: Zimmi48 <[email protected]>
SkySkimmer · Sep 4, 2023 · 8524365 · 8524365
2 parents eb6b987 + cdda695
commit 8524365
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -883,6 +883,7 @@ plugin:ci-metacoq:
   needs:
   - build:base
   - plugin:ci-equations
+  timeout: 1h 30min
 
 plugin:ci-mtac2:
   extends: .ci-template