Skip to content

Harden CI and make its lint step actually lint - #2

Merged
peterhoneder merged 1 commit into
mainfrom
ci-and-lint
Sep 1, 2026
Merged

Harden CI and make its lint step actually lint#2
peterhoneder merged 1 commit into
mainfrom
ci-and-lint

Harden CI and make its lint step actually lint

d0707d5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
secrets
succeeded Sep 1, 2026 in 7s