Fix book and add a little blob in the kani.md file

celinval · Jun 4, 2024 · 149294f · 149294f
1 parent ed9c74a
commit 149294f
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/.github/workflows/book.yml b/.github/workflows/book.yml
@@ -1,7 +1,13 @@
 # Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
+
+# This workflow is responsible for building and releasing the contest book.
+# It should only run when there has been a change to the contest book files
+# or a manual trigger.
+
 name: Build Book
 on:
+  workflow_dispatch:
   pull_request:
     paths:
       - 'doc/**'

diff --git a/doc/src/tools/kani.md b/doc/src/tools/kani.md
@@ -1 +1,7 @@
 # Kani Rust Verifier
+
+The Kani Rust Verifier is a bit-precise model checker for Rust.
+This page will give more details on how to use Kani to verify the standard library.
+You can find more informations about how to install and use Kani in the
+[Kani book](https://model-checking.github.io/kani/).
+