Try stdlibs CI on macos

robin-aws · Nov 16, 2023 · 0cdb18c · 0cdb18c
1 parent 33503b4
commit 0cdb18c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/standard-libraries.yml b/.github/workflows/standard-libraries.yml
@@ -15,7 +15,7 @@ jobs:
 
   build:
     needs: check-deep-tests
-    runs-on: ubuntu-latest
+    runs-on: macos-latest
 
     steps:
       - name: Checkout Dafny