diff options
| author | jvoisin | 2023-08-21 17:45:42 +0200 |
|---|---|---|
| committer | jvoisin | 2023-08-21 17:45:42 +0200 |
| commit | 5a387cee873365069ad40201fa4d1c514476aa55 (patch) | |
| tree | b79ee03ed7956216afa12b33cdc3ab032984576b /.github/workflows/coverage.yaml | |
| parent | e8b8e4f51481121a5ce042812e7e62e7b27e6116 (diff) | |
Improve the .gitignore file wrt. tests
Diffstat (limited to '.github/workflows/coverage.yaml')
0 files changed, 0 insertions, 0 deletions