lint #3

Merged
gburd merged 2 commits from gburd/learning-by-linting into master 2020-01-31 18:59:39 +00:00

2 commits

Author SHA1 Message Date
Gregory Burd 6b7343a893 Tweak CI/Travis config. 2020-01-31 13:25:00 -05:00
Greg Burd 4f81c4e15b Attempting to cleanup with clippy, rustfmt, etc.
Integrate https://github.com/mozilla/mentat/pull/806
2020-01-31 10:55:45 -05:00