ci: Update package info for release/macOS

kind2-mc · Nov 15, 2024 · c5fd800 · c5fd800
1 parent f0aca38
commit c5fd800
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/kind2-release.yml b/.github/workflows/kind2-release.yml
@@ -92,6 +92,10 @@ jobs:
         path: /home/opam/kind2-build/bin/kind2
         destination: ./bin/
 
+    - name: Update package information (macOS)
+      if: runner.os == 'macOS'
+      run: brew update
+
     - name: Build Kind 2 macOS binary
       if: runner.os == 'macOS'
       uses: ./.github/actions/build-kind2