From 5ef20604f2759a6f31a3c82595b47c3a7c111c8e Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 22 Sep 2022 12:44:14 +0200 Subject: [PATCH 1/2] update README for Miri not being in toolstate any more --- README.md | 1 - 1 file changed, 1 deletion(-) diff --git a/README.md b/README.md index 37b1488cd7..d4807b5610 100644 --- a/README.md +++ b/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: From 562d5dd39778269b19e808df94f5c1b591742a97 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 22 Sep 2022 17:27:46 +0200 Subject: [PATCH 2/2] remove Miri from JSON --- _data/latest.json | 7 ------- 1 file changed, 7 deletions(-) diff --git a/_data/latest.json b/_data/latest.json index c19d349867..0def3b457f 100644 --- 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",