remove Miri from JSON

RalfJung · RalfJung · commit fd5545cd8211 · 2022-09-22T17:27:46.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",
@@ -48,4 +41,4 @@
         "commit": "fd8e23c6b2902299cb76e89d868fbb84f48035ab",
         "datetime": "2019-05-24T03:07:40Z"
     }
-]
+]
