diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yaml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index fb077e28d..fa276e2bf 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml | |||
| @@ -30,6 +30,9 @@ jobs: | |||
| 30 | steps: | 30 | steps: |
| 31 | - name: Checkout repository | 31 | - name: Checkout repository |
| 32 | uses: actions/checkout@v2 | 32 | uses: actions/checkout@v2 |
| 33 | with: | ||
| 34 | ref: ${{ github.event.pull_request.head.sha }} | ||
| 35 | fetch-depth: 5 | ||
| 33 | 36 | ||
| 34 | # We need to disable the existing toolchain to avoid updating rust-docs | 37 | # We need to disable the existing toolchain to avoid updating rust-docs |
| 35 | # which takes a long time. The fastest way to do this is to rename the | 38 | # which takes a long time. The fastest way to do this is to rename the |