Merge pull request #3 from mohamed-barakat/devel

applied PackageJanitor
homalg-project · Feb 26, 2023 · 014089a · 014089a
2 parents 54b145f + 264de46
commit 014089a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -38,7 +38,7 @@ To obtain current versions of all dependencies, `git clone` (or `git pull` to up
 [tests-url]: https://github.com/homalg-project/HeckeCategories/actions/workflows/Tests.yml?query=branch%3Amaster
 
 [codecov-img]: https://codecov.io/gh/homalg-project/HeckeCategories/branch/master/graph/badge.svg
-[codecov-url]: https://codecov.io/gh/homalg-project/HeckeCategories
+[codecov-url]: https://app.codecov.io/gh/homalg-project/HeckeCategories
 
 [code-img]: https://img.shields.io/badge/-View%20code-blue?logo=github
 [code-url]: https://github.com/homalg-project/HeckeCategories#top