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

[ ci ] turn ubuntu-bootstrap-racket off for now (#1772)

Browse Source 
[ci: skip]
This commit is contained in:
G. Allais 2021-07-22 12:27:34 +01:00 committed by GitHub
parent 5576d30c27
commit 9f0a70626a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -183,6 +183,7 @@ jobs:
!contains(needs.initialise.outputs.commit_message, '[ci:')
|| contains(needs.initialise.outputs.commit_message, '[ci: windows]')
|| contains(needs.initialise.outputs.commit_message, '[ci: chez]')
|| contains(needs.initialise.outputs.commit_message, '[ci: racket]')
env:
MSYSTEM: MINGW64
MSYS2_PATH_TYPE: inherit
@ -247,9 +248,12 @@ jobs:
needs: quick-check
runs-on: ubuntu-latest
if: |
!contains(needs.initialise.outputs.commit_message, '[ci:')
|| contains(needs.initialise.outputs.commit_message, '[ci: ubuntu]')
|| contains(needs.initialise.outputs.commit_message, '[ci: racket]')
false &&
(!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
steps:
@ -388,6 +392,10 @@ jobs:
windows-self-host-racket:
needs: windows-bootstrap-chez
runs-on: windows-latest
if: |
!contains(needs.initialise.outputs.commit_message, '[ci:')
|| contains(needs.initialise.outputs.commit_message, '[ci: windows]')
|| contains(needs.initialise.outputs.commit_message, '[ci: racket]')
env:
IDRIS2_CG: racket
MSYSTEM: MINGW64