DEV: Don't lint core files when target == plugins (PR #10259)

Less work for the GitHub Actions and less noise in the results.


Looks good to me :slight_smile: feel free to merge

Do we need to add .js here, since we have stopped using .es6 in some plugins?

Ha, good eye! So we were not linting some files then. :sweat_smile:

Yeah I guess so!

Sorry to bring it up in this PR, it’s not really related. Maybe we should fix that separately?

Too late, added to this PR :stuck_out_tongue_winking_eye:

Looks like we were indeed missing some linting failures :sweat_smile:

Yup, :grin:

looks like we have general approval here @CvX can you merge when you start your day ?

@CvX Is this good to merge?

Now it is :smiley:

Merge away :slight_smile: