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

[ ci ] bring racket builds back

Browse Source 
A new environment seems to have solved our issue.
Cf. actions/virtual-environments#3774
This commit is contained in:
Guillaume ALLAIS 2021-07-30 15:18:05 +01:00 committed by G. Allais
parent 8e1ca0eddf
commit 94811ba8e7
1 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.github/workflows/ci-idris2.yml vendored
View File

@ -247,11 +247,9 @@ jobs:
needs: quick-check
runs-on: ubuntu-latest
if: |
false &&
(!contains(needs.initialise.outputs.commit_message, '[ci:')
|| contains(needs.initialise.outputs.commit_message, '[ci: ubuntu]')
|| contains(needs.initialise.outputs.commit_message, '[ci: racket]')
)
!contains(needs.initialise.outputs.commit_message, '[ci:')
|| contains(needs.initialise.outputs.commit_message, '[ci: ubuntu]')
|| contains(needs.initialise.outputs.commit_message, '[ci: racket]')
env:
IDRIS2_CG: racket