From 1f4ea7657bc377b4298fd400e567471d3a248b2d Mon Sep 17 00:00:00 2001 From: Patrick Massot Date: Mon, 25 Sep 2023 07:14:22 -0400 Subject: [PATCH] Build doc for Aesop and ProofWidgets (#2) --- .github/workflows/docs.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 26f621fb393..2f6ccbc37a1 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -70,7 +70,7 @@ jobs: - name: generate docs working-directory: workaround run: | - lake build Std:docs Qq:docs Mathlib:docs Archive:docs Counterexamples:docs docs:docs + lake build Std:docs Qq:docs Aesop:docs ProofWidgets:docs Mathlib:docs Archive:docs Counterexamples:docs docs:docs - name: copy extra files run: |