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

---
 .github/workflows/stainless-CI.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/stainless-CI.yml b/.github/workflows/stainless-CI.yml
index 4d8bf800d..cfed65451 100644
--- a/.github/workflows/stainless-CI.yml
+++ b/.github/workflows/stainless-CI.yml
@@ -7,7 +7,9 @@ on:
       - main
 jobs:
   tests:
-    runs-on: [self-hosted, linux, fast-machines]
+    runs-on:
+      group: [fast-machines]
+      labels: [self-hosted, linux]
     env:
       JAVA_OPTS_TMP_DIR: ./tmp_java
       # define Java options for both official sbt and sbt-extras