Typo

robin-aws · Nov 16, 2023 · f1bc3b9 · f1bc3b9
1 parent 0cdb18c
commit f1bc3b9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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