From 77768849bff9f3e204805fb058338675bffa50ba Mon Sep 17 00:00:00 2001
From: GENET Martin <martin.genet@polytechnique.edu>
Date: Mon, 26 Dec 2022 18:31:55 +0000
Subject: [PATCH] Use shared runners instead of specific runner
---
.gitlab-ci.yml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2b0a34e..8342756 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -9,9 +9,9 @@
build_docker:
stage: deploy
tags:
- # - ci.inria.fr
- # - large
- - myrunner
+ - ci.inria.fr
+ - large
+ # - myrunner
image: ubuntu:20.04
script:
- apt update; apt install -y python3 python3-pip mercurial git ca-certificates curl gnupg lsb-release
--
GitLab