Skip to content

ci/licensing: semgrep 1.178.0 pin, shellcheck gate, case-collision guard, Std worker cap 2 (epic #2055) - #2061

Merged
FabioLeitao merged 5 commits into
mainfrom
epic/boar-ga-hygiene
Oct 12, 2026
Merged

FabioLeitao merged 5 commits into
mainfrom
epic/boar-ga-hygiene

Conversation

@FabioLeitao

Copy link
Copy Markdown
Collaborator

Summary

Gate files

This PR modifies .github/workflows/ci.yml and .github/workflows/semgrep.yml, so scripts/gate_change_tripwire.py exits 1 until the operator adds Gate-Change-Approved-By. The PR is red at that step on purpose; no agent attests it.

Not verified

Full ./scripts/check-all.sh was not run on this branch because the tripwire stops it by design. Focused checks passed locally: 183 tests with -W error, shellcheck --severity=error over all tracked .sh, case-collision guard OK on 2415 paths. No CI result yet.

Closes #2025
Closes #2005
Closes #2044
Closes #2047
Refs #1926
Refs #2055

🤖 Generated with Claude Code

https://claude.ai/code/session_0142QEjA7eEFcdXTpcTmcAZk

The workflow still ran 1.117.0. The multi-arch index digest was read from the registry with podman, and it matches the digest recorded for maestro#103. Local scans with both engines reported zero findings.

Refs #2025
Refs #2005
Tracked shell scripts had no shellcheck gate. The lint job and both check-all twins now run shellcheck --severity=error. One redacted mount helper keeps an invalid bash name and is excluded on that line with the reason in the script.

Refs #1926
…ep 1.178.0, shellcheck gate, case-collision guard (ci.yml e semgrep.yml tocados) e Std worker cap 2 | 2026-10-12

```
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAgyEpOM79Y37xE8qOhlhghEfLh9P
TzRdk6n8nzLfBNGqwAAAAEZmlsZQAAAAAAAAAGc2hhNTEyAAAAUwAAAAtzc2gtZWQyNTUx
OQAAAEAbprwkoL9MfdC4gXKJDjCLNL1IHSzWPBZsjWAexFPTGNny6IqPHBZZgC+cwX1knR
eT5YjnDO6YaMwu9x38h+kP
-----END SSH SIGNATURE-----
```
@FabioLeitao

Copy link
Copy Markdown
Collaborator Author

Gate-Change-Approved-By: @FabioLeitao (#2061) | epic #2055: pin semgrep 1.178.0, shellcheck gate, case-collision guard (ci.yml e semgrep.yml tocados) e Std worker cap 2 | head=b78194381e5c55423ef05c85eb32c27f3e5072fd | 2026-10-12

-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAgyEpOM79Y37xE8qOhlhghEfLh9P
TzRdk6n8nzLfBNGqwAAAAEZmlsZQAAAAAAAAAGc2hhNTEyAAAAUwAAAAtzc2gtZWQyNTUx
OQAAAEBNRDr+yAN45xhJ9gO0ybdaS7pbZvn4AF7EqdT2OfJvlDQnx3p8CRpiQKq/YqHO4V
pZQUailpLHfMMnN1Cmi84H
-----END SSH SIGNATURE-----

@FabioLeitao

Copy link
Copy Markdown
Collaborator Author

Gate-Change-Approved-By: @FabioLeitao (#2061) | epic #2055: pin semgrep 1.178.0, shellcheck gate, case-collision guard (ci.yml e semgrep.yml tocados) e Std worker cap 2 | head=2eeb03564743dc1e72855780b90af13269167e7d | 2026-10-12

-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAgyEpOM79Y37xE8qOhlhghEfLh9P
TzRdk6n8nzLfBNGqwAAAAEZmlsZQAAAAAAAAAGc2hhNTEyAAAAUwAAAAtzc2gtZWQyNTUx
OQAAAEChfqkWxnwaMtGIiGJMwsGELCBaffyQ6wvnUrStwg2YVivToQ0+s2Yr99dHmM6nnB
U51gwh0+ijSEeCDtmbyC4F
-----END SSH SIGNATURE-----

@FabioLeitao
FabioLeitao merged commit 3650d23 into main Oct 12, 2026
31 of 32 checks passed
@FabioLeitao
FabioLeitao deleted the epic/boar-ga-hygiene branch October 12, 2026 01:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment