fix

diku-dk · Dec 9, 2024 · e35360c · e35360c
1 parent f75dab5
commit e35360c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -40,7 +40,8 @@ jobs:
       - name: Install MLton and gmp (macos)
         if: ${{ env.OS == 'darwin' }}
         run: |
-          brew install mlton libgmp
+          brew update && brew install gmp
+          brew install mlton
           mlton
 
       - name: Install MLKit and smlpkg