diff --git a/.github/workflows/standard-libraries.yml b/.github/workflows/standard-libraries.yml
index 7fc7c950110..1b3f67aed61 100644
--- a/.github/workflows/standard-libraries.yml
+++ b/.github/workflows/standard-libraries.yml
@@ -30,7 +30,7 @@ jobs:
       - name: Build Dafny
         run: dotnet build Source/Dafny.sln
       - name: Get Z3
-        run: make z3-ubuntu
+        run: make z3-mac
       - run: npm install bignumber.js
       - name: Test DafnyStandardLibraries
         run: make -C Source/DafnyStandardLibraries all