diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/mjit.yml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/.github/workflows/mjit.yml b/.github/workflows/mjit.yml index 88b5840c2b..7b5b581b71 100644 --- a/.github/workflows/mjit.yml +++ b/.github/workflows/mjit.yml @@ -74,11 +74,11 @@ jobs: ulimit -c unlimited make -s test RUN_OPTS="$RUN_OPTS" timeout-minutes: 60 - - name: Run test-all - run: | - ulimit -c unlimited - make -s test-all RUN_OPTS="$RUN_OPTS" - timeout-minutes: 60 + # - name: Run test-all + # run: | + # ulimit -c unlimited + # make -s test-all RUN_OPTS="$RUN_OPTS" + # timeout-minutes: 60 - name: Run test-spec run: | ulimit -c unlimited |