From ffb4d174ef7f7b5ed253c4bbba4f34deb5d03be9 Mon Sep 17 00:00:00 2001 From: Andor Penzes Date: Wed, 11 Jul 2018 21:14:01 +0200 Subject: [PATCH] Coverage badge for master. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 4b4d015e..982f4dfb 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ # GRIN -[![Build Status](https://travis-ci.org/grin-tech/grin.svg?branch=master)](https://travis-ci.org/grin-tech/grin) [![Coverage Status](https://coveralls.io/repos/github/grin-tech/grin/badge.svg?branch=shc)](https://coveralls.io/github/grin-tech/grin?branch=shc) +[![Build Status](https://travis-ci.org/grin-tech/grin.svg?branch=master)](https://travis-ci.org/grin-tech/grin) [![Coverage Status](https://coveralls.io/repos/github/grin-tech/grin/badge.svg?branch=master)](https://coveralls.io/github/grin-tech/grin?branch=master) The name GRIN is short for *Graph Reduction Intermediate Notation*, and it is an intermediate language for graph reduction. For an overview read