bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Auto merge of #2677 - RalfJung:badge, r=RalfJung

Browse source 
remove CI badge

We don't actually run CI on the `master` branch (because bors checks things before they can even be on master), so this doesn't really show anything. rustc doesn't have a badge either. I think we can live without it. :D
This commit is contained in:
bors 2022-11-17 15:51:00 +00:00
commit cf4da2d8aa
1 changed files with 0 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/tools/miri/README.md
View file

@ -1,10 +1,5 @@
# Miri # 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 An experimental interpreter for [Rust][rust]'s
[mid-level intermediate representation][mir] (MIR). It can run binaries and [mid-level intermediate representation][mir] (MIR). It can run binaries and
test suites of cargo projects and detect certain classes of test suites of cargo projects and detect certain classes of