We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 68db9fe commit eabab4bCopy full SHA for eabab4b
.github/workflows/ci-idris2.yml
@@ -158,8 +158,12 @@ jobs:
158
- name: Test Scheme
159
run: |
160
scheme --version
161
- - name: Bootstrap and install
162
- 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"
163
+ - name: Bootstrap test
164
+ run: c:\msys64\usr\bin\bash -l -c "cd $env:PWD && make bootstrap-test"
165
+ - name: Install
166
+ run: c:\msys64\usr\bin\bash -l -c "cd $env:PWD && make install"
167
168
nix-bootstrap-chez:
169
needs: quick-check
0 commit comments