We used a group, not label

epfl-lara · Dec 6, 2024 · bbc458d · bbc458d
1 parent 9741b9c
commit bbc458d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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