commit | e2c15798161546a787da17dc40c0699e1872a162 | [log] [tgz] |
---|---|---|
author | Cosmin Truta <ctruta@gmail.com> | Wed May 28 10:55:24 2025 +0300 |
committer | Cosmin Truta <ctruta@gmail.com> | Wed May 28 11:02:47 2025 +0300 |
tree | a6abd3e37f597cfa887ab253814351fa091fd24b | |
parent | cff86202727772bca507d66561029c1af696c663 [diff] |
ci: Add action-editorconfig-checker to the GitHub Action for linting The editorconfig-checker program is not installed by default in the OS used by GitHub Actions. Fortunately, the editorconfig-checker authors have kindly provided the action-editorconfig-checker repository, which we are now using.