Skip to content

Disable linting of Spicy-generated files#130

Merged
timwoj merged 2 commits intomasterfrom
topic/bbannier/do-not-lint-spicy-generated-files
Apr 17, 2025
Merged

Disable linting of Spicy-generated files#130
timwoj merged 2 commits intomasterfrom
topic/bbannier/do-not-lint-spicy-generated-files

Commits

Commits on Apr 17, 2025