Fix github runner name

QED-it · Jun 26, 2024 · 3242658 · 3242658
1 parent 2d6fe45
commit 3242658
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -26,11 +26,11 @@ jobs:
 
         include:
           - target: Linux
-            os: ubuntu-latest-8cores
+            os: ubuntu-latest-8-cores
           - target: macOS
             os: macOS-latest
           - target: Windows
-            os: windows-latest-8cores
+            os: windows-latest-8-cores
 
           - state: Orchard
             extra_flags: orchard