edg-l/ddnet
1
0
Fork 0
mirror of https://github.com/ddnet/ddnet.git synced 2024-11-18 05:58:19 +00:00
Code Issues Packages Projects Releases Wiki Activity
18382 commits 1 branch 429 tags 411 MiB
Commit graph

3 commits

Author SHA1 Message Date
Dennis Felsing ad7ad79082 codecov: Also disable annotations (fixes #7498) 2023-11-19 17:01:14 +01:00
Dennis Felsing 3d485a9640 coverage: Don't complain on PRs (fixes #7497) 2023-11-19 12:28:02 +01:00
def e87eb1e1a3 Disable codecov comments in PRs 2022-09-25 15:07:21 +02:00