idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-09-21 02:07:25 +03:00
Code Issues Projects Releases Wiki Activity

Update previous-build action from 0.2.2 to 0.3.0 (#925)

Browse Source
This commit is contained in:
Fabián Heredia Montiel 2021-01-15 12:00:46 -06:00 committed by GitHub
parent 7a7504c956
commit a15325fdb6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -12,6 +12,7 @@ on:
env:
SCHEME: scheme
IDRIS2_TESTS_CG: chez
IDRIS2_VERSION: 0.3.0
ACTIONS_ALLOW_UNSECURE_COMMANDS: true
jobs:
@ -26,9 +27,9 @@ jobs:
echo "::add-path::$HOME/.idris2/bin"
- name : Build previous version
run: |
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
wget https://www.idris-lang.org/idris2-src/idris2-$IDRIS2_VERSION.tgz
tar zxvf idris2-$IDRIS2_VERSION.tgz
cd Idris2-$IDRIS2_VERSION
make bootstrap-build && make install
cd ..
- name: Build from previous version