aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/ci.yaml3
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