diff --git a/.circleci/config.yml b/.circleci/config.yml index 3d8c25faa5cc0..78a8e81a35a30 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -1168,6 +1168,7 @@ jobs: # SEMGREP_TIMEOUT is the same, but docs have conflicting defaults (5s in CLI flag, 1800 in some places) # https://semgrep.dev/docs/troubleshooting/semgrep-app#if-the-job-is-aborted-due-to-taking-too-long command: semgrep ci --timeout=100 --no-suppress-errors + # If semgrep hangs, stop the scan after 20m, to prevent a useless 5h job no_output_timeout: 20m - notify-failures-on-develop