ci: remove semgrep from Python deps #221
Merged
Mergify / Queue: Embarked in merge queue
succeeded
Sep 29, 2025 in 0s
The pull request embarked with main (67e5c8a) will be merged soon
Required conditions for merge:
- all of [🛡 Merge Protections rule Changelog requirements]:
- all of [🛡 Merge Protections rule Enforce conventional commit]:
title ~= ^(fix|feat|docs|style|refactor|perf|test|build|ci|chore|revert)(?:\(.+\))?:
- all of [🛡 Merge Protections rule 🔎 Reviews]:
Check-runs and statuses of the embarked pull request #221:
| Test with Python 3.10 | details | ||
| Test with Python 3.11 | details | ||
| Test with Python 3.12 | details | ||
| Test with Python 3.9 | details | ||
| semgrep | details |
Loading