Skip to content

ci: replace linting setup with flint#1883

Merged
zeitlinger merged 8 commits intomainfrom
use-flint
Feb 16, 2026
Merged

ci: replace linting setup with flint#1883
zeitlinger merged 8 commits intomainfrom
use-flint

Commits

Commits on Feb 16, 2026