Alois Klink 22d20cc76e ci: lint .jison files for any console.log()
Converts the *.jison files into .js, then lints them using just
the `no-console` rule.

To keep things simple, I've just made this run only on CI.

If we want to do more complex linting on `*.jison` files, it might
be worth making an `eslint-plugin-jison`, so that we can directly
parse jison in ESLint.
2022-09-06 04:29:09 +01:00
..
2022-08-31 11:48:23 +05:30
2022-02-10 20:32:21 +01:00
2022-02-10 20:32:21 +01:00
2022-02-10 20:32:21 +01:00
2022-02-10 20:32:21 +01:00