Test rustdoc generation in CI to catch warnings.

.github/workflows/ci.yml

@@ -20,6 +20,12 @@ jobs:
           path: |
             target/thumbv7m-none-eabi/debug/lilos-testsuite-lm3s6965
 
+  doc:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - run: ./doc-all.sh
+
   test_qemu:
     needs: build
     runs-on: ubuntu-latest

doc-all.sh

@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+
+set -euo pipefail
+
+DIRS="os list handoff semaphore rwlock"
+
+for d in $DIRS; do
+    echo "---- testing doc generation in $d"
+    pushd $d > /dev/null
+    RUSTDOCFLAGS="-D warnings" cargo doc --no-deps
+    popd > /dev/null
+done