we don't use travis any more

mit-plv · Aug 13, 2023 · a2c4e87 · a2c4e87
1 parent cb24c75
commit a2c4e87
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-# riscv-semantics  [![Build Status](https://travis-ci.org/mit-plv/riscv-semantics.svg?branch=master)]
+# riscv-semantics
 
 Here lies a formal specification of [the RISC-V ISA](https://riscv.org), written in [Haskell](https://www.haskell.org/).
 It is meant to serve many audiences.