remove Miri from JSON

RalfJung · RalfJung · commit 562d5dd39778 · 2022-09-22T17:32:17.000+02:00
diff --git a/_data/latest.json b/_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",
