max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

ci: switch back to homebrew on macOS

Browse source
This commit is contained in:
tydeu 2021-10-19 11:36:36 -04:00
parent c6f6eec4c5
commit 7cbde2c852
1 changed files with 5 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
.github/workflows/ci.yml vendored
View file

@ -38,18 +38,16 @@ jobs:
curl -sSL https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh > elan-init.sh
./elan-init.sh -y
cygpath -w "$USERPROFILE/.elan/bin" >> $GITHUB_PATH
- name: Install Elan (Unix)
if: matrix.os != 'windows-latest'
# - name: Install Elan (Ubuntu)
# if: matrix.os == 'ubuntu-latest'
- name: Install Elan (Ubuntu)
if: matrix.os == 'ubuntu-latest'
run: |
curl -sSL https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh > elan-init.sh
chmod +x elan-init.sh
./elan-init.sh -y
echo "$HOME/.elan/bin" >> $GITHUB_PATH
# - name: Install Elan (MacOS)
# if: matrix.os == 'macOS-latest'
# run: brew install elan
- name: Install Elan (MacOS)
if: matrix.os == 'macOS-latest'
run: brew install elan
- name: Checkout
uses: actions/checkout@v2
- name: Check Lean