[CI] use --anoma-setup to render the main website

anoma · Oct 16, 2024 · 78c21b5 · 78c21b5
1 parent 80e5ec4
commit 78c21b5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -67,7 +67,7 @@ jobs:
         run: poetry run pytest
       - name: Create MkDocs Project
         run: |
-          juvix-mkdocs new -f -n --no-run-server --no-open --project-name my-juvix-project
+          juvix-mkdocs new -f -n --no-run-server --no-open --project-name my-juvix-project --anoma-setup
       - name: Build MkDocs Project
         run: juvix-mkdocs build -p my-juvix-project
         env:

diff --git a/mkdocs_juvix/plugin.py b/mkdocs_juvix/plugin.py
@@ -465,6 +465,7 @@ def on_page_markdown(
 
         metadata = page.meta
         if metadata.get("isabelle", False):
+            log.error("Isabelle is not supported yet")
             # isabelle_html = self._generate_isabelle_html(page.file.abs_src_path)
             return markdown
         return markdown