diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index 75555e81..11e1c97c 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -14,6 +14,7 @@ permissions: jobs: coverity: runs-on: ubuntu-latest + timeout-minutes: 10 steps: - uses: actions/checkout@v7