Merge pull request #5 from grunweg/patch-1

chore: also copy 1000.yaml
leanprover-community · Dec 18, 2024 · aa305ac · aa305ac
2 parents d65d834 + 0760d61
commit aa305ac
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -96,7 +96,7 @@ jobs:
 
       - name: copy extra files
         run: |
-          cp mathlib4/docs/{100.yaml,overview.yaml,undergrad.yaml} workaround/.lake/build/doc
+          cp mathlib4/docs/{100.yaml,1000.yaml,overview.yaml,undergrad.yaml} workaround/.lake/build/doc
 
       - name: copy import graph
         run: |