diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-09-01 08:24:01 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-09-01 08:24:01 +0100 |
| commit | c31a43d360b9d8c75e56af6abbc1b976a9d5e929 (patch) | |
| tree | f55a96d3340f7051468280b8885f676e2c5f7ecd /.github | |
| parent | 148a60b0757d3c741681a68c86b665ea026a127a (diff) | |
| parent | cdebf02e5490989efc159cd1b4bc0645713e1dfc (diff) | |
Merge #5862
5862: Add a test that forbids merge commits r=matklad a=dragfire
Fixes #5854
Co-authored-by: dragfire <[email protected]>
Diffstat (limited to '.github')
| -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 |