add coverage ci

fortanix · Nov 1, 2023 · 0c8f8a3 · 0c8f8a3
1 parent 9376931
commit 0c8f8a3
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/admin/coverage b/admin/coverage
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+
+set -e
+
+source <(cargo llvm-cov show-env --export-prefix)
+cargo llvm-cov clean --workspace
+
+cargo build --locked --all-targets --all-features
+cargo test --locked --all-features
+cargo llvm-cov report "$@"