[add] Vanity badges

LedgerHQ · Oct 18, 2023 · a06da0a · a06da0a
1 parent 7926555
commit a06da0a
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -1,5 +1,8 @@
 # Ledgered
 
+[![codecov](https://codecov.io/gh/LedgerHQ/ledgered/graph/badge.svg?token=0mwgQwrusz)](https://codecov.io/gh/LedgerHQ/ledgered)
+[![CodeQL](https://github.com/LedgerHQ/ledgered/actions/workflows/codeql-analysis.yml/badge.svg)](https://github.com/LedgerHQ/ledgered/actions/workflows/codeql-analysis.yml)
+
 This repository aims at regrouping three other somehow similar yet different repositories / libraries:
 
 - [LedgerComm](https://github.com/LedgerHQ/ledgercomm)

diff --git a/src/ledgered/utils/manifest.py b/src/ledgered/utils/manifest.py
@@ -81,7 +81,7 @@ def from_path(path: Path) -> "RepoManifest":
 # CLI-oriented code #
 
 
-def parse_args() -> Namespace:
+def parse_args() -> Namespace:  # pragma: no cover
     parser = ArgumentParser()
     parser.add_argument("manifest",
                         type=Path,
@@ -124,7 +124,7 @@ def parse_args() -> Namespace:
     return parser.parse_args()
 
 
-def main():
+def main():  # pragma: no cover
     args = parse_args()
     assert args.manifest.is_file(), f"'{args.manifest.resolve()}' does not appear to be a file."
     manifest = args.manifest.resolve()