Florian Müllner 8c13e3855e ci: Use node-js script for running eslint ... This is unnecessary hard in shell when compared to a proper programming language. It becomes even easier with a node-js script, as that gives us access to the underlying ESLint module rather than just the CLI interface. Besides that, node-js has the added benefit that we don't need to add more dependencies to the CI image. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1497		2020-11-13 22:32:50 +01:00
..
check-commit-log.sh	ci: Adjust URL check	2020-02-26 00:24:14 +01:00
check-potfiles.sh	ci: Handle POTFILES.skip in potfiles check	2020-04-07 20:27:00 +00:00
check-template-strings.sh	ci: Prohibit template strings in translatable files	2020-02-26 22:53:00 +00:00
checkout-mutter.sh	ci: Fix checking out mutter on stable branches	2019-11-06 22:52:38 +00:00
Dockerfile	ci: Rebase extension-ci image to F32	2020-04-28 09:04:49 +00:00
run-eslint	ci: Use node-js script for running eslint	2020-11-13 22:32:50 +01:00