From f016eb548e3c4c2515f54820e551d2d8de23dc77 Mon Sep 17 00:00:00 2001 From: Morten Kristensen Date: Sun, 9 Jul 2023 15:42:53 +0200 Subject: [PATCH] [actions] Improved Semgrep command timeout It takes some time to scan "vermin/rules.py". More than the default 30s timeout. --- .github/workflows/semgrep.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/semgrep.yml b/.github/workflows/semgrep.yml index a0adc26d..9e4f7f1f 100644 --- a/.github/workflows/semgrep.yml +++ b/.github/workflows/semgrep.yml @@ -19,4 +19,5 @@ jobs: if: (github.actor != 'dependabot[bot]') steps: - uses: actions/checkout@v3 - - run: semgrep ci + # It takes some time to scan "vermin/rules.py". More than the default 30s timeout. + - run: semgrep ci --timeout 60 --verbose