From 45067c5fd5d17de74f5bb50fc526353d1326c6ae Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Sun, 28 Feb 2021 19:54:18 +0100
Subject: [PATCH] [scripts.jobs] Fix machine names on CI
---
bob/devtools/scripts/jobs.py | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/bob/devtools/scripts/jobs.py b/bob/devtools/scripts/jobs.py
index e18dbb1d..8c31b00e 100644
--- a/bob/devtools/scripts/jobs.py
+++ b/bob/devtools/scripts/jobs.py
@@ -46,12 +46,11 @@ def jobs(name, status):
gl.auth()
names = name or [
- "linux-desktop-shell",
- "linux-desktop-docker",
- "linux-server-shell",
- "linux-server-docker",
+ "linux-shell",
+ "linux-docker",
"macpro",
"macmini",
+ "macm1",
]
# search for the runner(s) to affect
--
GitLab