Skip to content

chore: run the CI lint only in the linux machine#3797

Merged
Pantani merged 2 commits intomainfrom chore/run-lint-only-linuxDec 2, 2023

Commits

Commits on Dec 2, 2023