chore: rename build workflow to check and add pre-commit checks#143
Merged
francescarpi merged 3 commits intodevelopfrom Mar 22, 2026
Merged
chore: rename build workflow to check and add pre-commit checks#143francescarpi merged 3 commits intodevelopfrom
francescarpi merged 3 commits intodevelopfrom