Skip to content

Create a separate workflow for linting#4608

Merged
rikurauhala merged 1 commit intomasterfrom gha-lintAug 20, 2024
+25-30

Commits

Commits on Aug 20, 2024