fix(ci): stop semgrep-general timing out on every PR - #77481

Closed

gantoine wants to merge 7 commits into

worktree-keen-seeking-snowglobe

Commits on Aug 4, 2026

fix(ci): stop semgrep-general timing out on every PR

gantoine
and
claude
committed
54bb877
perf(ci): bump semgrep 1.167.0 -> 1.172.0

gantoine
and
claude
committed
89ad35f
revert(ci): keep semgrep pinned at 1.167.0

gantoine
and
claude
committed
3165db8
chore(ci): add temporary semgrep rule-pack isolation jobs

gantoine
and
claude
committed
18a54af
chore(ci): narrow semgrep diagnostics to individual rule packs

gantoine
and
claude
committed
823b5b2
chore(ci): remove temporary semgrep diagnostic jobs

gantoine
and
claude
committed
c74b9b6

Commits on Aug 5, 2026

Merge branch 'master' into worktree-keen-seeking-snowglobe
gantoine
authored
ab5eaf7