Add a worflow to deploy documentation

Co-authored-by: Samuel Hym <samuel.hym@rustyne.lautre.net>
ocaml-gospel · Oct 23, 2023 · f4be603 · f4be603
1 parent 83cfd5c
commit f4be603
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 1 deletion.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -0,0 +1,25 @@
+name: documentation
+
+on:
+  push:
+    branches:
+      - main
+
+permissions:
+  contents: write
+
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+
+      - name: Set-up OCaml 5.0
+        uses: ocaml/setup-ocaml@v2
+        with:
+          ocaml-compiler: "5.0"
+          dune-cache: true
+
+      - name: Deploy documentation
+        uses: ocaml/setup-ocaml/deploy-doc@v2
diff --git a/plugins/qcheck-stm/test/sequence_model_stm_tests.expected.ml b/plugins/qcheck-stm/test/sequence_model_stm_tests.expected.ml
@@ -87,4 +87,4 @@ module STMTests = (STM_sequential.Make)(Spec)
 let _ =
   QCheck_base_runner.run_tests_main
     (let count = 1000 in
-     [STMTests.agree_test ~count ~name:"STM Lib test sequential"])
+     [STMTests.agree_test ~count ~name:"Sequence_model STM tests"])