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

Experiment with setting up Travis

Browse Source 
I have no idea what I'm doing
This commit is contained in:
Edwin Brady 2020-05-20 10:21:35 +01:00
parent 9eba9113dd
commit ca3d519291
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.travis.yml Normal file
View File

@ -0,0 +1,6 @@
dist: bionic
language: minimal
install: apt-get install chezscheme9.5
script:
- make bootstrap SCHEME=chezscheme9.5
- make test IDRIS2_BOOT=../build/exec/idris2sh