diff options
Diffstat (limited to '.github/workflows/mjit.yml')
| -rw-r--r-- | .github/workflows/mjit.yml | 18 |
1 files changed, 5 insertions, 13 deletions
diff --git a/.github/workflows/mjit.yml b/.github/workflows/mjit.yml index 5b662caa14..5dc02ccb75 100644 --- a/.github/workflows/mjit.yml +++ b/.github/workflows/mjit.yml @@ -13,7 +13,7 @@ jobs: test_task: [ "check" ] # to make job names consistent jit_opts: [ "--jit", "--jit-wait" ] fail-fast: false - runs-on: ubuntu-latest + runs-on: ubuntu-20.04 if: "!contains(github.event.head_commit.message, '[ci skip]')" steps: - name: Install libraries @@ -21,17 +21,9 @@ jobs: set -x sudo apt-get update -q || : sudo apt-get install --no-install-recommends -q -y build-essential libssl-dev libyaml-dev libreadline6-dev zlib1g-dev libncurses5-dev libffi-dev libgdbm-dev bison autoconf ruby - # Not using official actions/checkout because it's unstable and sometimes doesn't work for a fork. - - name: Checkout ruby - run: | - git clone --single-branch --shallow-since=yesterday --branch=${GITHUB_REF#refs/heads/} https://github.com/${{ github.repository }} src - git -C src reset --hard "$GITHUB_SHA" - if: github.event_name == 'push' - - name: Checkout a pull request - run: | - git clone --single-branch --shallow-since=yesterday --branch=${{ github.event.pull_request.head.ref }} https://github.com/${{ github.event.pull_request.head.repo.full_name }} src - git -C src reset --hard ${{ github.event.pull_request.head.sha }} - if: github.event_name == 'pull_request' + - uses: actions/checkout@v2 + with: + path: src - run: ./src/tool/actions-commit-info.sh id: commit_info - name: Fixed world writable dirs @@ -42,7 +34,7 @@ jobs: run: | echo "JOBS=-j$((1 + $(nproc --all)))" >> $GITHUB_ENV - name: Autoconf - run: cd src && exec autoconf + run: cd src && exec autoreconf -i - name: configure run: | mkdir build |