Skip to content

Commit

Permalink
docs: .gitignore: ignore coverage files
Browse files Browse the repository at this point in the history
ignore files, that are generated when
making the API doc coverage report.

Signed-off-by: Fin Maaß <[email protected]>
  • Loading branch information
maass-hamburg authored and MaureenHelm committed Jun 10, 2024
1 parent 597b838 commit 0c073b4
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -27,6 +27,8 @@ outdir
outdir-*
scripts/basic/fixdep
scripts/gen_idt/gen_idt
coverage-report
doc-coverage.info
doc/_build
doc/doxygen
doc/xml
Expand All @@ -53,6 +55,7 @@ venv
.venv
.DS_Store
.clangd
new.info

# CI output
compliance.xml
Expand Down

0 comments on commit 0c073b4

Please sign in to comment.