This repository was archived by the owner on Jun 30, 2025. It is now read-only.

ci: extract linting to a parallel job#714

Merged

bajtos merged 3 commits intomainfrom

dedicated-linting-job

Apr 7, 2025

Commits on Apr 7, 2025