From 00c4869d560e108a9b8298c7d1861c7320be45c6 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 28 Oct 2020 12:57:41 +0100 Subject: [PATCH] remove outdated CI badges --- README.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/README.md b/README.md index b638c3bca1c..1de1c2e4c1b 100644 --- a/README.md +++ b/README.md @@ -1,8 +1,6 @@ # Miri [![Actions build status][actions-badge]][actions-url] -[![Travis build status](https://travis-ci.com/rust-lang/miri.svg?branch=master)](https://travis-ci.com/rust-lang/miri) -[![Appveyor Windows build status](https://ci.appveyor.com/api/projects/status/github/rust-lang/miri?svg=true)](https://ci.appveyor.com/project/rust-lang-libs/miri) [actions-badge]: https://github.com/rust-lang/miri/workflows/CI/badge.svg?branch=master [actions-url]: https://github.com/rust-lang/miri/actions -- 2.44.0