input-output-hk · will-break-it · May 19, 2025 · May 14, 2025 · May 14, 2025 · May 14, 2025
diff --git a/.github/workflows/formal-spec-integration.yaml b/.github/workflows/formal-spec-integration.yaml
@@ -46,6 +46,15 @@ jobs:
           # Copy the HTML files
           cp -r formal-spec-html/* site/static/formal-spec/
 
+<<<<<<< HEAD
+      - name: 🔄 Enhance Agda documentation
+        working-directory: site
+        run: |
+          # Process HTML files using the agda-web-docs-lib
+          NODE_OPTIONS="--max-old-space-size=16384" npx agda-web-docs-lib process ./static/formal-spec ./agda-docs.config.json
+
+=======
+>>>>>>> main
       - name: 🏗️ Build Docusaurus site
         working-directory: site
         run: |

diff --git a/site/agda-docs.config.json b/site/agda-docs.config.json
@@ -0,0 +1,7 @@
+{
+  "backButtonUrl": "/formal-spec/",
+  "inputDir": "./static/formal-spec",
+  "modules": ["Leios", "Cardano", "Ouroboros", "Ledger", "Ledger-Spec"],
+  "githubUrl": "https://github.com/input-output-hk/ouroboros-leios-formal-spec",
+  "searchGranularity": "comprehensive"
+}