From fce88b8dd86dadd2bb4865fce79a00d93c0b2ad5 Mon Sep 17 00:00:00 2001 From: Marek Kaluba Date: Mon, 21 Jun 2021 20:48:16 +0200 Subject: [PATCH] update CI badge --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 7a64708..79523ed 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,5 @@ # Groups -[![Build Status](https://travis-ci.org/kalmarek/Groups.jl.svg?branch=master)](https://travis-ci.org/kalmarek/Groups.jl) +[![CI](https://github.com/kalmarek/Groups.jl/actions/workflows/runtests.yml/badge.svg)](https://github.com/kalmarek/Groups.jl/actions/workflows/runtests.yml) [![codecov](https://codecov.io/gh/kalmarek/Groups.jl/branch/master/graph/badge.svg)](https://codecov.io/gh/kalmarek/Groups.jl) An implementation of finitely-presented groups together with normalization (using Knuth-Bendix procedure).