]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #99 from oli-obk/travis
authorScott Olson <scott@solson.me>
Thu, 12 Jan 2017 08:14:41 +0000 (00:14 -0800)
committerGitHub <noreply@github.com>
Thu, 12 Jan 2017 08:14:41 +0000 (00:14 -0800)
various travis cleanups + run miri tests on travis against 4 major targets


Trivial merge