From b97fd36ad5ad46ce8d715ef38a2e8796c1888b82 Mon Sep 17 00:00:00 2001 From: miniduikboot Date: Tue, 29 Apr 2025 23:41:21 +0200 Subject: [PATCH] Check in CI if unified docs can be generated --- test.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/test.sh b/test.sh index 76076ef..96a2b9f 100755 --- a/test.sh +++ b/test.sh @@ -116,6 +116,9 @@ case $OS in eof { } } EOF + + # Check if documentation can be generated for both the userspace and eBPF side at the same time + cargo doc --workspace ;; *) echo "Unsupported OS: ${OS}"