Add goblint-lib-modules.py to docs workflow

goblint · Aug 18, 2023 · a135dea · a135dea
1 parent 67dcdfd
commit a135dea
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -32,6 +32,9 @@ jobs:
       - name: Checkout code
         uses: actions/checkout@v3
 
+      - name: Check for undocumented modules
+        run: python scripts/goblint-lib-modules.py
+
       - name: Set up OCaml ${{ matrix.ocaml-compiler }}
         env:
           # otherwise setup-ocaml pins non-locked dependencies