diff options
| author | Michał Gołębiowski-Owczarek <m.goleb@gmail.com> | 2023-05-31 18:55:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-31 18:55:29 +0200 |
| commit | 44906a83d28a81f0107f8418a430db7e040a776b (patch) | |
| tree | f9c934f8f6dd35f049bdcfb9a8564e11f865b39f /.github | |
| parent | fd6ffc5eb2c12562f2656d2f33865448420252be (diff) | |
| download | jquery-44906a83d28a81f0107f8418a430db7e040a776b.tar.gz jquery-44906a83d28a81f0107f8418a430db7e040a776b.zip | |
Build: Make the `eslint:dev` task not lint the `dist/` folder
There was a mistake in paths logic that made the `dist/` folder linted
even in the `eslint:dev` task which is run before the build. Fix that by
explicitly ignoring the `dist/` folder at the end of the file list.
Closes gh-5257
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions