From cb86d0feaf98d12a5ac5ef55c33cd9b34046b982 Mon Sep 17 00:00:00 2001
From: Quentin Guilloteau <Quentin.Guilloteau@inria.fr>
Date: Wed, 12 Apr 2023 13:13:06 +0200
Subject: [PATCH] use inria runners
---
.gitlab-ci.yml | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0fa91f9..62127b0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,6 +5,9 @@ slides:
- chown root $(pwd)
- nix build .#slides
- mv ./result/slides.pdf ./slides.pdf
+ tags:
+ - ci.inria.fr
+ - small
artifacts:
paths:
- ./slides.pdf
@@ -18,6 +21,9 @@ pages:
- cp -r -L --no-preserve=all result/* ./.public/
- rm -rf public
- mv .public public
+ tags:
+ - ci.inria.fr
+ - small
artifacts:
paths:
- public
--
GitLab