[ ci ] Run a brew update during ci

CodingCellist · Oct 27, 2023 · 58ec72e · 58ec72e
1 parent 5f29b0b
commit 58ec72e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci-idris2-and-libs.yml b/.github/workflows/ci-idris2-and-libs.yml
@@ -174,6 +174,7 @@ jobs:
         uses: actions/checkout@v3
       - name: Install build dependencies
         run: |
+          brew update
           brew install chezscheme
           brew install coreutils
           echo "$HOME/.idris2/bin" >> "$GITHUB_PATH"
@@ -330,6 +331,7 @@ jobs:
           path: ~/.idris2/
       - name: Install build dependencies
         run: |
+          brew update
           brew install chezscheme
           brew install coreutils
           echo "$HOME/.idris2/bin" >> "$GITHUB_PATH"