[actions] Improved Semgrep command timeout

It takes some time to scan "vermin/rules.py". More than the default 30s timeout.
netromdk · Jul 9, 2023 · f016eb5 · f016eb5
1 parent 99a9703
commit f016eb5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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