Patrick Kanzler
|
155e586527
|
enable comment
|
2023-08-10 00:08:08 +02:00 |
|
Patrick Kanzler
|
0e41709703
|
disable codecov status
|
2020-05-10 12:35:36 +02:00 |
|
Patrick Kanzler
|
7b24df6581
|
remove patch-coverage because we don't use it
|
2017-03-23 15:35:32 +01:00 |
|
Patrick Kanzler
|
c1a6da9aaa
|
configure codecov.io
For $reasons codecov.io stopped working. Now with my account explicitly
set as "bot" it works again.
|
2016-08-02 00:10:39 +02:00 |
|
Patrick Kanzler
|
214b4def14
|
configure codecov.io
fixes #134
|
2016-06-26 20:39:06 +02:00 |
|