diff --git a/.github/workflows/ci-idris2-and-libs.yml b/.github/workflows/ci-idris2-and-libs.yml
index 1075806248..0d8690b711 100644
--- 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"