diff options
author | Philip H <47042125+pheiduck@users.noreply.github.com> | 2023-06-22 18:12:46 +0100 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2023-06-22 18:12:46 +0100 |
commit | 982ded68b660d6c9849bfdc1b0dc469909266e1e (patch) | |
tree | d23d10ae42dc073e6e4bff5d041a0441c9850d7b /.github | |
parent | 2b994da57a0ac6ec0ec09fe3783f48ecd2bce610 (diff) |
patch 9.0.1646: CI: codecov may take a very long time to runv9.0.1646
Problem: CI: codecov may take a very long time to run.
Solution: Add a timeout. (Philip Heiduck, closes #12559)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4e6f23ba80..3481bcb8fc 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -238,6 +238,7 @@ jobs: find . -type f -name '*.gcno' -exec gcov -pb {} + || true - name: Codecov + timeout-minutes: 20 if: matrix.coverage uses: codecov/codecov-action@v3 with: @@ -610,6 +611,7 @@ jobs: find . -type f -name '*.gcno' -exec gcov -pb {} + || true - name: Codecov + timeout-minutes: 20 if: matrix.coverage uses: codecov/codecov-action@v3 with: |