From 8ec21490707460d9910c52bd9196ae31a29e65ff Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 17 Nov 2022 16:49:14 +0100 Subject: [PATCH] remove CI badge --- src/tools/miri/README.md | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/tools/miri/README.md b/src/tools/miri/README.md index e9738cbc515f..124769c59a3d 100644 --- a/src/tools/miri/README.md +++ b/src/tools/miri/README.md @@ -1,10 +1,5 @@ # Miri -[![Actions build status][actions-badge]][actions-url] - -[actions-badge]: https://github.com/rust-lang/miri/workflows/CI/badge.svg?branch=master -[actions-url]: https://github.com/rust-lang/miri/actions - An experimental interpreter for [Rust][rust]'s [mid-level intermediate representation][mir] (MIR). It can run binaries and test suites of cargo projects and detect certain classes of