update docs/make.jl

vandenman · Oct 27, 2023 · 7510a9d · 7510a9d · vandenman · Oct 27, 2023
1 parent 912c8f6
commit 7510a9d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -13,8 +13,8 @@ jobs:
       contents: write
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
-      - uses: julia-actions/setup-julia@v1.8.1
+      - uses: actions/checkout@v4
+      - uses: julia-actions/setup-julia@v1.9.1
         with:
           version: '1.6'
       - name: Install dependencies

diff --git a/docs/make.jl b/docs/make.jl
@@ -4,6 +4,7 @@ makedocs(
 	sitename="EqualitySampler.jl",
 	modules  = [EqualitySampler],
 	format   = Documenter.HTML(; prettyurls = get(ENV, "CI", nothing) == "true"),
+	warnonly = true
 )
 
 deploydocs(;