From 79ca4fe13c1bdb8fa34fb9d84b7986dd764feed5 Mon Sep 17 00:00:00 2001
From: Xavier Urbain <xavier.urbain@univ-lyon1.fr>
Date: Fri, 10 Dec 2021 13:09:30 +0000
Subject: [PATCH] Update .gitlab-ci.yml
---
.gitlab-ci.yml | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5f8de3d4..a8d9ef50 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -2,6 +2,10 @@ stages:
- build
.build:
+ tags:
+ - linux
+ - docker
+ - liris
stage: build
image: coqorg/${CI_JOB_NAME}
before_script:
--
GitLab