Skip to content

fix: get forge lint -D warnings green again - #217

Merged
thedavidmeister merged 2 commits into
mainfrom
2026-10-07-forge-lint-d-warnings
Oct 7, 2026
Merged

fix: get forge lint -D warnings green again#217
thedavidmeister merged 2 commits into
mainfrom
2026-10-07-forge-lint-d-warnings

fix: keep slither's suppressions working beside the forge-lint ones

df9d1b8
Select commit
Loading
Failed to load commit list.
rain-marvin / human/reviewed failed Oct 7, 2026 in 0s

0 of 1 approval from core: needs a human review

Merging needs 1 approval from the core team. Approved by: nobody yet. Bot approvals (rain-marvin, CodeRabbit) do not count here.

View more details on rain-marvin