Move lint to separate workflow, use concurrency feature to cancel runs#155

Merged

lucacome merged 1 commit intomainfrom

chore/lint-workflow

Jul 27, 2022

Commits on Jul 27, 2022

Move lint to separate workflow, use concurrency feature to cancel runs
lucacome
committed