fix

melsman · melsman · commit e35360cf560f · 2024-12-10T00:45:25.000+01:00
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
