From c5fd80098d9a13dde25adb8f020dfee5dbe31bf0 Mon Sep 17 00:00:00 2001
From: Daniel Larraz <daniel-larraz@users.noreply.github.com>
Date: Fri, 15 Nov 2024 10:18:24 -0600
Subject: [PATCH] ci: Update package info for release/macOS

---
 .github/workflows/kind2-release.yml | 4 ++++
 1 file changed, 4 insertions(+)

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