761db2518c
CI / lint (pull_request) Failing after 3s
CI / typecheck (pull_request) Failing after 3s
CI / coverage (pull_request) Has been skipped
CI / quality (pull_request) Failing after 5s
CI / security (pull_request) Failing after 6s
CI / behave (3.11) (pull_request) Failing after 2s
CI / behave (3.12) (pull_request) Failing after 2s
CI / behave (3.13) (pull_request) Failing after 3s
CI / docker (pull_request) Has been skipped
CI / helm (pull_request) Has been skipped
CI / build (pull_request) Failing after 3s
8 lines
247 B
Bash
Executable File
8 lines
247 B
Bash
Executable File
#!/bin/sh
|
|
# Run semgrep if installed, skip gracefully if not
|
|
if command -v semgrep >/dev/null 2>&1; then
|
|
semgrep --config=.semgrep.yml --error --quiet src/
|
|
else
|
|
echo "semgrep not installed, skipping (install with: pip install semgrep)"
|
|
fi
|