diff --git a/.github/workflows/kind2-release.yml b/.github/workflows/kind2-release.yml index 92f60999b..8074acfce 100644 --- 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