kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2025-01-04 04:20:29 +01:00
Code Issues Releases Wiki Activity

fix CI badge in readme

Browse Source
This commit is contained in:
Marek Kaluba 2023-03-15 23:00:50 +01:00
parent 448857ef03
commit 8bd3f7ede6
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -1,5 +1,5 @@
# Groups # Groups
[![CI](https://github.com/kalmarek/Groups.jl/actions/workflows/runtests.yml/badge.svg)](https://github.com/kalmarek/Groups.jl/actions/workflows/runtests.yml) [![CI](https://github.com/kalmarek/Groups.jl/actions/workflows/ci.yml/badge.svg)](https://github.com/kalmarek/Groups.jl/actions/workflows/ci.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).