diff options
| author | serapas <vytautas.macionis@manomail.de> | 2021-02-28 13:43:23 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-28 21:43:23 +0900 |
| commit | 038e4a8c31feb03beea02c09d953affc8c460515 (patch) | |
| tree | 4470f633a25e7fda68d9dca34c10d7ba8c1bf6cf /ale_linters/dafny | |
| parent | 76965615558e9398ef4cc79991632a7b68a6c7bc (diff) | |
| download | ale-038e4a8c31feb03beea02c09d953affc8c460515.zip | |
Fix ansible-lint linter definition. (#3601)
* Fix ansible-lint linter definition.
Use ansible-lint's feature auto-detection instead of temporary file.
For auto-detection to work, ansible project has to be also a git repository.
Don't use yaml rules. These are checked by yamllint.
Refactor pattern to work with ansible-lint >=5.0 version.
Clean-up obsolete test cases.
* Pull Request changes
Diffstat (limited to 'ale_linters/dafny')
0 files changed, 0 insertions, 0 deletions