summaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorPhilip H <47042125+pheiduck@users.noreply.github.com>2023-06-22 18:12:46 +0100
committerBram Moolenaar <Bram@vim.org>2023-06-22 18:12:46 +0100
commit982ded68b660d6c9849bfdc1b0dc469909266e1e (patch)
treed23d10ae42dc073e6e4bff5d041a0441c9850d7b /.github
parent2b994da57a0ac6ec0ec09fe3783f48ecd2bce610 (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.yml2
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: