Skip to content

ci: add extended-lint as a cargo xtask instead of a Python script - #6

Closed
jordigilh wants to merge 1 commit into
praxis-proxy:mainfrom
jordigilh:feat/extended-lint
Closed

ci: add extended-lint as a cargo xtask instead of a Python script#6
jordigilh wants to merge 1 commit into
praxis-proxy:mainfrom
jordigilh:feat/extended-lint

Commits

Commits on Aug 18, 2026