remove outdated CI badges

diff --git a/README.md b/README.md
index b638c3bca1ce9bfe8daed276f60fae9c30e1466f..1de1c2e4c1b19c8acbaf9b367fe80b3ffcb517ee 100644 (file)
--- 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