Florian Müllner e9131465dd ci: Fail on any common lint errors ... Now that we fixed all pre-existing errors that are common between regular and legacy configuration, we can stop filtering the result by the lines modified by the merge request. This will allow us to catch errors in merge requests that slipped through until now, for example when leaving a newly-unused import behind. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/716		2019-09-12 23:18:27 +02:00
..
check-commit-log.sh	ci: Sync check-commit-log script with mutter	2019-02-26 21:08:17 +00:00
checkout-mutter.sh	ci: Improve script output	2019-04-26 21:32:51 +02:00
Dockerfile.extension-ci	ci: Include git in extension-ci image	2019-07-24 00:28:45 +02:00
run-eslint.sh	ci: Fail on any common lint errors	2019-09-12 23:18:27 +02:00