idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-10-04 00:48:36 +03:00
Code Issues Projects Releases Wiki Activity

Use overwrite install to fix glib installation (#3237)

Browse Source 
* Use overwrite install to fix python installation
* Install NodeJS explicitly to fix test failures with Node installed on runner by default
This commit is contained in:
André Videla 2024-03-16 21:56:57 +00:00 committed by GitHub
parent 7219486aec
commit 4a5259b43b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/ci-idris2-and-libs.yml vendored
View File

@ -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/"*