Fix workflow after adding link check

model-checking · Jun 4, 2024 · a507261 · a507261
1 parent 1295490
commit a507261
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/book.yml b/.github/workflows/book.yml
@@ -23,12 +23,12 @@ jobs:
         run: cargo install mdbook-linkcheck "0.7" --locked
 
       - name: Build Documentation
-        run: mkdbook build
+        run: mkdbook build doc
 
       - name: Upload book
         uses: actions/upload-pages-artifact@v4
         with:
-          path: book/
+          path: book/html
           retention-days: "2"
 
   deploy:

diff --git a/doc/src/SUMMARY.md b/doc/src/SUMMARY.md
@@ -8,8 +8,8 @@
 - [Verification Tools](./tools.md)
   - [Kani](./tools/kani.md)
 
-<!-- [todo](todo.md)>
 
 ---
 
 # Challenges
+- [Coming soon](./todo.md)