13 commits

Author	SHA1	Message	Date
Matthias Krüger	a9fce6d2d0	allow clippy::filter_map	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	dbb8c0020e	cargo dev crater: save all warnings into a file	2021-01-23 02:18:11 +01:00
Matthias Krüger	7314133722	cargo dev crater: cleanup, don't re-download and reextract crates on every run	2021-01-23 02:18:11 +01:00
Matthias Krüger	734d2052df	print all clippy warnings in the end	2021-01-23 02:18:11 +01:00
Matthias Krüger	2360a7cad0	cargo clippy dev: collecting one-line clippy warnings works now	2021-01-23 02:18:11 +01:00
Matthias Krüger	69c0757334	clippy cargo dev: fix checking of crates	2021-01-23 02:18:11 +01:00
Matthias Krüger	e69147486e	cargo clippy dev: fix extraction of downloaded crates	2021-01-23 02:18:11 +01:00
Matthias Krüger	63176834c2	cargo dev crater: fixes and debug prints	2021-01-23 02:18:11 +01:00
Matthias Krüger	30d85942cf	crater: hook into main.rs	2021-01-23 02:18:11 +01:00
Matthias Krüger	5353591b1b	cargo dev crater: work on downloading and extracting crate sources	2021-01-23 02:18:11 +01:00
Matthias Krüger	bec916d02d	cargo dev crater: lay out the base plan	2021-01-23 02:18:11 +01:00