From 4a5259b43bb5eccaea7273145a1a963f72fca7c2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9=20Videla?= Date: Sat, 16 Mar 2024 21:56:57 +0000 Subject: [PATCH] Use overwrite install to fix glib installation (#3237) * Use overwrite install to fix python installation * Install NodeJS explicitly to fix test failures with Node installed on runner by default --- .github/workflows/ci-idris2-and-libs.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/ci-idris2-and-libs.yml b/.github/workflows/ci-idris2-and-libs.yml index ca9ee14b9..97e5d078e 100644 --- a/.github/workflows/ci-idris2-and-libs.yml +++ b/.github/workflows/ci-idris2-and-libs.yml @@ -175,6 +175,8 @@ jobs: - name: Install build dependencies run: | brew update + brew install --overwrite python@3.12 + brew install node brew install chezscheme brew install coreutils echo "$HOME/.idris2/bin" >> "$GITHUB_PATH" @@ -332,7 +334,9 @@ jobs: - name: Install build dependencies run: | brew update + brew install --overwrite python@3.12 brew install chezscheme + brew install node brew install coreutils echo "$HOME/.idris2/bin" >> "$GITHUB_PATH" chmod +x "$HOME/.idris2/bin/idris2" "$HOME/.idris2/bin/idris2_app/"*