From a91ad5603ddb00b3c4994c4d2d6311377717c253 Mon Sep 17 00:00:00 2001
From: Adomas Baliuka <52975890+adomasbaliuka@users.noreply.github.com>
Date: Mon, 19 Jan 2026 10:32:04 +0100
Subject: [PATCH 1/2] build API docs

---
 .github/workflows/lean.yml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.github/workflows/lean.yml b/.github/workflows/lean.yml
index 5302388..04e57de 100644
--- a/.github/workflows/lean.yml
+++ b/.github/workflows/lean.yml
@@ -2,6 +2,12 @@ on:
   push:
   pull_request:
 
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+permissions:
+  contents: read # Read access to repository contents
+  pages: write # Write access to GitHub Pages
+  id-token: write # Write access to ID tokens
+
 name: build
 
 jobs:
@@ -14,3 +20,5 @@ jobs:
       - uses: leanprover/lean-action@v1
         with:
           check-reservoir-eligibility: true
+      
+      - uses: leanprover-community/docgen-action@v1

From 0f59baf1b585f4e77d49bea8c9fbf465879a0e6c Mon Sep 17 00:00:00 2001
From: Adomas Baliuka <52975890+adomasbaliuka@users.noreply.github.com>
Date: Tue, 20 Jan 2026 11:53:31 +0100
Subject: [PATCH 2/2] only build API docs on the main branch

---
 .github/workflows/lean.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/lean.yml b/.github/workflows/lean.yml
index 04e57de..a98acd0 100644
--- a/.github/workflows/lean.yml
+++ b/.github/workflows/lean.yml
@@ -21,4 +21,6 @@ jobs:
         with:
           check-reservoir-eligibility: true
       
-      - uses: leanprover-community/docgen-action@v1
+      - name: Build and Deploy API-DOCS
+        if: github.ref == 'refs/heads/main'
+        uses: leanprover-community/docgen-action@v1