From 937e7c140474e64fb0659db750e232a2abe667ba Mon Sep 17 00:00:00 2001
From: Lucas Nussbaum <lucas.nussbaum@inria.fr>
Date: Tue, 26 Nov 2024 18:29:13 +0100
Subject: [PATCH] Set priority for grvingt to 201701 so that it is less than
grele's (see bug 16466)
---
data/grid5000/sites/nancy/clusters/grvingt/grvingt.json | 1 +
input/grid5000/sites/nancy/clusters/grvingt/grvingt.yaml | 1 +
2 files changed, 2 insertions(+)
diff --git a/data/grid5000/sites/nancy/clusters/grvingt/grvingt.json b/data/grid5000/sites/nancy/clusters/grvingt/grvingt.json
index 29eb36e544a..000200ab1d6 100644
--- a/data/grid5000/sites/nancy/clusters/grvingt/grvingt.json
+++ b/data/grid5000/sites/nancy/clusters/grvingt/grvingt.json
@@ -355,6 +355,7 @@
}
],
"model": "Dell PowerEdge C6420",
+ "priority": "201701",
"queues": [
"admin",
"production"
diff --git a/input/grid5000/sites/nancy/clusters/grvingt/grvingt.yaml b/input/grid5000/sites/nancy/clusters/grvingt/grvingt.yaml
index 4042f282803..d9e8ab162b7 100644
--- a/input/grid5000/sites/nancy/clusters/grvingt/grvingt.yaml
+++ b/input/grid5000/sites/nancy/clusters/grvingt/grvingt.yaml
@@ -3,6 +3,7 @@ model: Dell PowerEdge C6420
created_at: 2018-04-11
kavlan: true
boot_type: bios
+priority: '201701'
queues:
- admin
- production
--
GitLab