Merge pull request #3183 from coq/remove-gitlab-com-tags

Remove leftover GitLab.com tag.
coq · Oct 16, 2024 · ddaf189 · ddaf189
2 parents c472754 + f5d84ad
commit ddaf189
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -106,7 +106,6 @@ opam-build:5.0.0:
   extends: .opam-build
   variables:
     COMPILER: "5.0.0"
-  tags: [ saas-linux-medium-amd64 ]
   except:
     - web