Merge pull request #26 from RalfJung/miri

remove Miri

Author: jyn514

README.md

@@ -8,7 +8,6 @@ The latest status can be read from https://rust-lang-nursery.github.io/rust-tool
 
 Currently these tools are tracked:
 
-* [miri](https://github.com/rust-lang/miri)
 * All the external books
 
 These tools can be in one of the following states:

_data/latest.json

@@ -1,11 +1,4 @@
 [
-    {
-        "tool": "miri",
-        "windows": "build-fail",
-        "linux": "build-fail",
-        "commit": "11bb80a92b4f46fa7dfa9148d0bdfc185a7621bd",
-        "datetime": "2022-09-19T14:06:40Z"
-    },
     {
         "tool": "book",
         "windows": "test-pass",