diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2025-06-11 19:43:42 +0200 |
|---|---|---|
| committer | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2025-06-11 19:43:42 +0200 |
| commit | d37a93cd7d9e8b7ba7329e381f42e52dd0f774de (patch) | |
| tree | d9a62819f4eebad4a906cb823785a57249e55d35 /.github | |
| parent | 7bfd70a8283f89eb149d88a8a1f8560e6b9fee27 (diff) | |
Add code coverage
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/cover.yml (renamed from .github/cover.yml) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/.github/cover.yml b/.github/workflows/cover.yml index c3352ec53..c3352ec53 100644 --- a/.github/cover.yml +++ b/.github/workflows/cover.yml |