Skip to content

ci: enable repo Semgrep rules for issue #338#354

Merged
acgetchell merged 5 commits into
mainfrom
refactor/338-enable-semgrep-rules
Apr 30, 2026
Merged

ci: enable repo Semgrep rules for issue #338#354
acgetchell merged 5 commits into
mainfrom
refactor/338-enable-semgrep-rules

fix: harden Hilbert ordering errors and prelude checks (#338)

fb99dbb
Select commit
Loading
Failed to load commit list.
Codacy Production / Codacy Coverage Variation succeeded Apr 30, 2026 in 0s

+0.13% coverage variation (-1.0% target)

+0.13% coverage variation (-1.0% target)

View more details on Codacy Production