7 commits

Author	SHA1	Message	Date
Matthias Krüger	e56c9a5253	cargo dev crater: gather and save lint statistics (how often a lint triggered)	2021-01-23 02:18:11 +01:00
Matthias Krüger	6c5bf2778f	clippy dev crater: use and parse clippy messages as json message, to get the lint name of a warning	2021-01-23 02:18:11 +01:00
Matthias Krüger	62337f2842	remove duplicate code and other cleanup	2021-01-23 02:18:11 +01:00
Matthias Krüger	588efa7da9	use a .toml file to list the crates we want to check ... Also sort lint results alphabetically.	2021-01-23 02:18:11 +01:00
Matthias Krüger	ccfaa338ed	cargo dev crater: share target dir between clippy runs, enable pedantic and cargo lints, ignore tokei for now.	2021-01-23 02:18:11 +01:00
Matthias Krüger	1e5ac1dfd2	cargo dev crater: add more crates to be checked	2021-01-23 02:18:11 +01:00
Matthias Krüger	728dc06d88	add the log file	2021-01-23 02:18:11 +01:00