Build the docs

JuliaAI · Aug 28, 2023 · d66d829 · d66d829
1 parent 3a9f303
commit d66d829
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -73,6 +73,7 @@ jobs:
            else
                build_docs = false
            end
+           build_docs = true # TODO: delete this debugging line
            if build_docs
                @info("We will build the docs")
                set_environment_variable("BUILD_DOCS", "true")