From e826b03b4850daae0d20787fd379432df9175903 Mon Sep 17 00:00:00 2001 From: Eric Wieser Date: Wed, 9 Aug 2023 01:46:50 +0000 Subject: [PATCH] restore full build --- .github/workflows/docs.yaml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 6a38db8f212..26f621fb393 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -70,8 +70,7 @@ jobs: - name: generate docs working-directory: workaround run: | - mkdir -p build/doc - # lake build Std:docs Qq:docs Mathlib:docs Archive:docs Counterexamples:docs docs:docs + lake build Std:docs Qq:docs Mathlib:docs Archive:docs Counterexamples:docs docs:docs - name: copy extra files run: |