Merge pull request #38 from elsoroka/dev

investigating docs build issue
elsoroka · Mar 12, 2024 · 456eeb0 · 456eeb0
2 parents 8790caf + c261030
commit 456eeb0
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,5 +1,7 @@
 name: CI
 on:
+  workflow_dispatch:
+    inputs:
   push:
     branches:
       - main
@@ -28,4 +30,4 @@ jobs:
         env:
           CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
         with:
-          file: lcov.info  # https://github.com/julia-actions/julia-processcoverage
+          file: lcov.info  # https://github.com/julia-actions/julia-processcoverage
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -1,6 +1,8 @@
 name: docs
 # https://github.com/julia-actions/julia-docdeploy
 on:
+  workflow_dispatch:
+    inputs:
   push:
     branches:
       - main
@@ -21,3 +23,4 @@ jobs:
         - uses: julia-actions/julia-docdeploy@v1
           env:
             GITHUB_TOKEN: ${{ secrets.DOCS_GITHUB_TOKEN }}
+            JULIA_DEBUG: "Documenter"
diff --git a/docs/make.jl b/docs/make.jl
@@ -1,6 +1,7 @@
 # CALL THIS FILE FROM ../ (call `julia docs/make.jl`)
 using Documenter
 push!(LOAD_PATH, "$(pwd())/src/")
+ENV["JULIA_DEBUG"] = Documenter
 
 using Satisfiability
 
@@ -43,4 +44,4 @@ Documenter.deploydocs(
     repo = "github.com/elsoroka/Satisfiability.jl.git",
     devbranch = "main",
     push_preview = true,
-)
+)