Try running the 5.0 build on a medium instance

coq · Apr 22, 2023 · 1118535 · 1118535
1 parent ae5469b
commit 1118535
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -96,6 +96,7 @@ opam-build:5.0.0:
   extends: .opam-build
   variables:
     COMPILER: "5.0.0"
+  tags: [ saas-linux-medium-amd64 ]
   except:
     - web