diff options
| author | Johannes Ranke <johannes.ranke@jrwb.de> | 2024-07-28 18:56:54 +0200 |
|---|---|---|
| committer | Johannes Ranke <johannes.ranke@jrwb.de> | 2024-07-28 18:56:54 +0200 |
| commit | db43ba615c9084963f743df86512bd92ac88c8af (patch) | |
| tree | 490614773453228317a85f1b76008930fd4ba118 /.github/.gitignore | |
| parent | 272b3863d1463dfaf62c6e06ea22610c0540237f (diff) | |
Move coverage report from travis to github actions
Diffstat (limited to '.github/.gitignore')
| -rw-r--r-- | .github/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/.gitignore b/.github/.gitignore new file mode 100644 index 00000000..2d19fc76 --- /dev/null +++ b/.github/.gitignore @@ -0,0 +1 @@ +*.html |