diff options
| author | Takashi Kokubun <takashikkbn@gmail.com> | 2020-01-06 01:42:30 -0800 |
|---|---|---|
| committer | NARUSE, Yui <naruse@airemix.jp> | 2020-01-30 13:35:17 +0900 |
| commit | bd48a28b1cb9848d194a82139d018f87dd689f99 (patch) | |
| tree | b62d8db21ff3ce9f1b55412eb9d9d8c94ce7a5fc /.github/workflows/mjit.yml | |
| parent | 48f82ad28961c0998b1d426493614875bb487d29 (diff) | |
Directly refer to GitHub events
instead of unnecessarily defining env vars
Diffstat (limited to '.github/workflows/mjit.yml')
| -rw-r--r-- | .github/workflows/mjit.yml | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/.github/workflows/mjit.yml b/.github/workflows/mjit.yml index 105639ef39..879b0c0cc7 100644 --- a/.github/workflows/mjit.yml +++ b/.github/workflows/mjit.yml @@ -29,12 +29,8 @@ jobs: if: github.event_name == 'push' - name: Checkout a pull request run: | - git clone --single-branch --shallow-since=yesterday "--branch=$GITHUB_BRANCH" "https://github.com/${GITHUB_REPO}" src - git -C src reset --hard "$GITHUB_REV" - env: - GITHUB_REV: ${{ github.event.pull_request.head.sha }} - GITHUB_BRANCH: ${{ github.event.pull_request.head.ref }} - GITHUB_REPO: ${{ github.event.pull_request.head.repo.full_name }} + 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' - run: ./src/tool/actions-commit-info.sh id: commit_info |