From 6aadaa1143950000220d0c007841d58434a6a1bd Mon Sep 17 00:00:00 2001 From: Matthieu Sozeau Date: Sat, 30 Dec 2017 12:58:41 +0100 Subject: [PATCH] Update README.md travis badge to point to the right one --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 36d0e9dd3..bc4033ec2 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ ### **Equations** - a function definition plugin. -[![Build Status](https://travis-ci.org/mattam82/Coq-Equations.svg?branch=8.7)](https://travis-ci.org/mattam82/Coq-Equations) +[![Build Status](https://travis-ci.org/mattam82/Coq-Equations.svg?branch=8.8%2Balpha)](https://travis-ci.org/mattam82/Coq-Equations/branches) Copyright 2009-2017 Matthieu Sozeau `matthieu.sozeau@inria.fr` Copyright 2015-2017 Cyprien Mangin `cyprien.mangin@m4x.org`