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

Fix CI

Browse Source
This commit is contained in:
russoul 2020-11-23 19:43:44 +03:00 committed by G. Allais
parent 22bfa90971
commit a7cb2745bc
5 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.github/workflows/ci-api.yml vendored
View File

@ -12,6 +12,7 @@ on:
env:
SCHEME: scheme
IDRIS2_TESTS_CG: chez
ACTIONS_ALLOW_UNSECURE_COMMANDS: true
jobs:
build:
@ -28,4 +29,4 @@ jobs:
shell: bash
- name: Test API
run: cd tests/idris2/api001 && ./run idris2
shell: bash
shell: bash

3
.github/workflows/ci-macos.yml vendored
View File

@ -11,6 +11,7 @@ on:
env:
SCHEME: chez
IDRIS2_TESTS_CG: chez
ACTIONS_ALLOW_UNSECURE_COMMANDS: true
jobs:
build:
@ -28,4 +29,4 @@ jobs:
shell: bash
- name: Build and test self-hosted
run: make clean && make all && make test INTERACTIVE=''
shell: bash
shell: bash

1
.github/workflows/ci-ubuntu-racket.yml vendored
View File

@ -11,6 +11,7 @@ on:
env:
IDRIS2_TESTS_CG: racket
ACTIONS_ALLOW_UNSECURE_COMMANDS: true
jobs:
build:

1
.github/workflows/ci-ubuntu.yml vendored
View File

@ -12,6 +12,7 @@ on:
env:
SCHEME: scheme
IDRIS2_TESTS_CG: chez
ACTIONS_ALLOW_UNSECURE_COMMANDS: true
jobs:
build:

3
.github/workflows/ci-windows.yml vendored
View File

@ -14,6 +14,7 @@ env:
SCHEME: scheme
IDRIS2_TESTS_CG: chez
CC: gcc
ACTIONS_ALLOW_UNSECURE_COMMANDS: true
jobs:
build:
@ -44,4 +45,4 @@ jobs:
run: |
scheme --version
- name: Bootstrap and install
run: c:\msys64\usr\bin\bash -l -c "cd $env:PWD && make bootstrap && make install"
run: c:\msys64\usr\bin\bash -l -c "cd $env:PWD && make bootstrap && make install"