diff --git a/.github/workflows/standard-libraries.yml b/.github/workflows/standard-libraries.yml
index 37848e4cbeb..7fc7c950110 100644
--- 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