diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2023-04-06 08:09:53 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2023-04-06 08:09:53 +0200 |
commit | 64201636ce58f54b42394efa4f837fdc70a93e34 (patch) | |
tree | 024f30709cc21c77a257b12cb9e65a26814ed46c /docs/dev/articles/web_only/benchmarks_files/accessible-code-block-0.0.1 | |
parent | 43d15fe2c2ecc570ad5edfba0e75ae9b22ac2080 (diff) |
Remove codecov badge, as the link does not work
Also, every time I would like to log in to codecov.io with my github
account, it tells me that it wants complete read and write access to all
my repositories, which I do not want to grant for obvious reasons.
Diffstat (limited to 'docs/dev/articles/web_only/benchmarks_files/accessible-code-block-0.0.1')
0 files changed, 0 insertions, 0 deletions