diff options
| author | Takashi Kokubun <takashikkbn@gmail.com> | 2022-11-27 13:12:29 -0800 |
|---|---|---|
| committer | Takashi Kokubun <takashikkbn@gmail.com> | 2022-11-27 13:12:34 -0800 |
| commit | 62476dd268a829ba81bd3703c3360ccc5a7463fd (patch) | |
| tree | a9a33ad95c267c4de39b9a76a56f07c12ff32070 /.github/workflows | |
| parent | 03b96319b48f3bd1ae5cbebd0f1b6b3b1ac5bb32 (diff) | |
Test only --mjit-wait for now
We've disabled MJIT CI on GitHub Actions for a while. It's convenient
that fork repositories need to see failures or disable it.
We should remove unused CI by default instead of silently disabling it.
Since I saw --mjit-wait passed on my fork, I'd like to try running
--mjit-wait one.
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/mjit.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.github/workflows/mjit.yml b/.github/workflows/mjit.yml index f8fc6647b3..88b5840c2b 100644 --- a/.github/workflows/mjit.yml +++ b/.github/workflows/mjit.yml @@ -25,14 +25,14 @@ jobs: make: strategy: matrix: - test_task: [ "check" ] # to make job names consistent - jit_opts: [ "--mjit", "--mjit-wait" ] + test_task: [check] # to make job names consistent + mjit_opts: [--mjit-wait] fail-fast: false runs-on: ubuntu-latest if: ${{ !contains(github.event.head_commit.message, '[DOC]') && !contains(github.event.pull_request.labels.*.name, 'Documentation') }} env: TESTOPTS: '-q --tty=no' - RUN_OPTS: '--disable-gems ${{ matrix.jit_opts }} --mjit-debug=-ggdb3' + RUN_OPTS: '--disable-gems ${{ matrix.mjit_opts }} --mjit-debug=-ggdb3' GITPULLOPTIONS: --no-tags origin ${{github.ref}} steps: - run: mkdir build @@ -89,7 +89,7 @@ jobs: payload: | { "ci": "GitHub Actions", - "env": "${{ github.workflow }} / ${{ matrix.test_task }} ${{ matrix.jit_opts }}", + "env": "${{ github.workflow }} / ${{ matrix.test_task }} ${{ matrix.mjit_opts }}", "url": "https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}", "commit": "${{ github.sha }}", "branch": "${{ github.ref_name }}" |