mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-12-25 02:05:30 +01:00
update CI badge
This commit is contained in:
parent
73131307bf
commit
fce88b8dd8
@ -1,5 +1,5 @@
|
|||||||
# Groups
|
# 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)
|
[![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).
|
An implementation of finitely-presented groups together with normalization (using Knuth-Bendix procedure).
|
||||||
|
Loading…
Reference in New Issue
Block a user