Skip to content

Pin toolchain to a fixed channel and add an enforced lint gate - #9

Merged
AdaWorldAPI merged 4 commits into
mainfrom
claude/ci-lint-gate
Sep 5, 2026
Merged

Pin toolchain to a fixed channel and add an enforced lint gate#9
AdaWorldAPI merged 4 commits into
mainfrom
claude/ci-lint-gate

Clear the linear-algebra findings the new gate reports

e1a8d38
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar