diff options
author | pierreN <pierreN@users.noreply.github.com> | 2020-02-27 22:53:06 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-27 08:53:06 -0500 |
commit | 5bfdd3a65223cbcc1430090162318ab2088d4380 (patch) | |
tree | 2259b463c24033828b5cccfddc2474b1916280cc | |
parent | ecec6147d117da638c933cf103a3ea14ce87102d (diff) |
ci: fix ci by removing fetch-depth 1
It's not clear why removing this makes things work. I've submitted
PRs that passed CI with fetch-depth=1. Maybe it only fails when
PRs are submitted from external contributors?
Either way, for now, we remove this and absorb the extra cost in
order to get PRs passing CI again.
PR #1501
-rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ddee7ff8..7cbd2285 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -86,8 +86,6 @@ jobs: steps: - name: Checkout repository uses: actions/checkout@v1 - with: - fetch-depth: 1 - name: Install packages (Ubuntu) if: matrix.os == 'ubuntu-18.04' @@ -185,8 +183,6 @@ jobs: steps: - name: Checkout repository uses: actions/checkout@v1 - with: - fetch-depth: 1 - name: Install Rust uses: actions-rs/toolchain@v1 with: |