CI

imandra-ai · Sep 14, 2023 · d8e6b83 · d8e6b83
1 parent 0787f5e
commit d8e6b83
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -33,7 +33,7 @@ jobs:
         run: opam install -d . --deps-only
 
       - name: Build
-        run: opam exec -- dune build @doc
+        run: opam exec -- dune build @doc --ignore-promoted-rules
 
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3