From 24b91a7a836068585dd7fbd32ac0b68a7bf29c52 Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Thu, 11 Sep 2025 13:22:27 +0200
Subject: [PATCH] add coverage to justfile

---
 justfile | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/justfile b/justfile
index f07324d..df084a5 100644
--- a/justfile
+++ b/justfile
@@ -17,5 +17,15 @@ build:
   cargo build --all-features
 
 docs:
+  export RUSTDOCFLAGS="--cfg docsrs --generate-link-to-definition -Z unstable-options"
+  cargo +nightly doc --all-features
+
+docs-html:
   export RUSTDOCFLAGS="--cfg docsrs --generate-link-to-definition -Z unstable-options"
   cargo +nightly doc --all-features --open
+
+coverage:
+  cargo llvm-cov nextest
+
+coverage-html:
+  cargo llvm-cov nextest --html --open