From ccff397d56fdd398df5c7e3b6eef7ce1bba68617 Mon Sep 17 00:00:00 2001
From: Anatolay <nihonvasserman228@gmail.com>
Date: Mon, 2 Sep 2024 22:28:33 +0300
Subject: [PATCH] Generate docs for Minimal.Calculus in CI

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

diff --git a/.github/workflows/lean.yml b/.github/workflows/lean.yml
index 8d8eacf9..928011b8 100644
--- a/.github/workflows/lean.yml
+++ b/.github/workflows/lean.yml
@@ -42,6 +42,7 @@ jobs:
       - name: '🔨 Generate documentation'
         run: |
           lake -R -Kenv=dev build PhiCalculus:docs
+          lake -R -Kenv=dev build Minimal.Calculus:docs
 
       - name: '🚀 Publish Documentation'
         if: ${{ github.ref_name == 'master' && github.event_name != 'pull_request' }}