4 Commits

Author	SHA1	Message	Date
Ralf Jung	16afe1a234	towards letting cargo do binary selection: wrappers and runners set up	2020-09-17 17:29:19 +02:00
Jubilee Young	2619b4fa18	Bump cargo_metadata to 0.11	2020-08-21 01:37:56 -07:00
Ralf Jung	7fcf92dfea	re-add some fake dependencies to avoid rebuilds	2020-05-28 08:53:44 +02:00
Ralf Jung	0790f75ae4	make cargo-miri a separate crate in a workspace	2020-05-28 08:53:44 +02:00