Repository navigation

Custom linter to check the format of the patterns - #257

Merged

lenucksi merged 3 commits into

linter-for-patterns-new

Jan 1, 2021

Merged

Custom linter to check the format of the patterns#257
lenucksi merged 3 commits into
masterfrom
linter-for-patterns-new

Commits on Dec 26, 2020
- Add custom linter to check the format of the patterns
  spier
  committed
  12bd578
- improve docs
  spier
  committed
  23a6053
Commits on Dec 27, 2020
- Rename GitHub action
  spier
  committed
  084d661