From aff99224913da50a8acdcc0c1de02a113cfbe329 Mon Sep 17 00:00:00 2001
From: Viktor Kuncak <viktor.kuncak@epfl.ch>
Date: Fri, 6 Dec 2024 20:38:50 +0100
Subject: [PATCH] We used a group, not label

---
 .github/workflows/stainless-CI.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/stainless-CI.yml b/.github/workflows/stainless-CI.yml
index cfed65451..936565e1c 100644
--- a/.github/workflows/stainless-CI.yml
+++ b/.github/workflows/stainless-CI.yml
@@ -8,7 +8,7 @@ on:
 jobs:
   tests:
     runs-on:
-      group: [fast-machines]
+      group: fast-machines
       labels: [self-hosted, linux]
     env:
       JAVA_OPTS_TMP_DIR: ./tmp_java