idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-28 11:05:17 +03:00
Code Issues Projects Releases Wiki Activity

Skip the tests when building previous version

Browse Source 
After all, we tested it when we shipped it. Didn't we?
This commit is contained in:
Edwin Brady 2020-12-29 19:43:19 +00:00
parent b02f3e7cec
commit 8026c377a5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/ci-buildprevious.yml vendored
View File

@ -29,7 +29,7 @@ jobs:
wget https://www.idris-lang.org/idris2-src/idris2-0.2.2.tgz
tar zxvf idris2-0.2.2.tgz
cd Idris2-0.2.2
make bootstrap && make install
make bootstrap-build && make install
cd ..
- name: Build from previous version
run: make all