idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-01 16:12:26 +03:00
Code Issues Projects Releases Wiki Activity

Split Windows CI build into multiple steps

Browse Source 
It's easier to follow Windows CI output this way.
This commit is contained in:
Stiopa Koltsov 2021-07-19 02:14:43 +01:00 committed by G. Allais
parent 68db9fe0fe
commit eabab4bdea
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.github/workflows/ci-idris2.yml vendored
View File

@ -158,8 +158,12 @@ jobs:
- name: Test Scheme
run: |
scheme --version
- name: Bootstrap and install
run: c:\msys64\usr\bin\bash -l -c "cd $env:PWD && make bootstrap && make bootstrap-test && make install"
- name: Bootstrap
run: c:\msys64\usr\bin\bash -l -c "cd $env:PWD && make bootstrap"
- name: Bootstrap test
run: c:\msys64\usr\bin\bash -l -c "cd $env:PWD && make bootstrap-test"
- name: Install
run: c:\msys64\usr\bin\bash -l -c "cd $env:PWD && make install"
nix-bootstrap-chez:
needs: quick-check