build docs for mathlib4

leanprover-community · Oct 21, 2023 · 8d9bcca · 8d9bcca
1 parent 1e7bae7
commit 8d9bcca
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -16,6 +16,9 @@ jobs:
     - name: Checkout mathlib
       run: git clone https://github.com/leanprover-community/mathlib
 
+    - name: Checkout mathlib4
+      run: git clone https://github.com/leanprover-community/mathlib4
+
     - name: Checkout mathlib-mailmap
       uses: actions/checkout@v2
       with:
@@ -33,6 +36,7 @@ jobs:
       run: |
         cp mailmap/mailmap mathlib/.mailmap
         ./gitstats.py mathlib docs
+        ./gitstats.py mathlib4 docs4
 
     - name: Install gnuplot
       run: |