summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTakashi Kokubun <takashikkbn@gmail.com>2019-08-14 10:52:15 +0900
committerGitHub <noreply@github.com>2019-08-14 10:52:15 +0900
commit765d60315312a6a7068d9b24d7c6f38b778c4604 (patch)
treea1480494b2253b34d87137b75fd28f62d1b8fbb4
parent8a687b8a4ff4096d7783bed58642112cfa3256a0 (diff)
Try to fix variable reference on Windows (#2361)
https://github.com/ruby/ruby/runs/192869165
Notes
Notes: Merged-By: k0kubun <takashikkbn@gmail.com>
-rw-r--r--.github/workflows/windows.yml10
1 files changed, 2 insertions, 8 deletions
diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
index 6f72332df0..45f97284e9 100644
--- a/.github/workflows/windows.yml
+++ b/.github/workflows/windows.yml
@@ -33,16 +33,10 @@ jobs:
run: choco install winflexbison3
# Not using official actions/checkout because it's unstable and sometimes doesn't work for a fork.
- name: Checkout ruby/ruby
- run: git clone --depth=50 https://github.com/ruby/ruby . && git reset --hard "$GITHUB_SHA"
- env:
- GITHUB_SHA: ${{ github.sha }}
+ run: git clone --depth=50 https://github.com/ruby/ruby . && git reset --hard ${{ github.sha }}
if: github.event_name == 'push'
- name: Checkout a pull request
- run: git clone --depth=50 "--branch=$GITHUB_BRANCH" "https://github.com/${GITHUB_REPO}" . && git 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 }}
+ run: git clone --depth=50 --branch=${{ github.event.pull_request.head.ref }} https://github.com/${{ github.event.pull_request.head.repo.full_name }} . && git reset --hard ${{ github.event.pull_request.head.sha }}
if: github.event_name == 'pull_request'
- name: configure
run: |