uncommented deploydocs

MichaelSchloesser · Nov 24, 2023 · 25be5c9 · 25be5c9
1 parent 5d4180b
commit 25be5c9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -15,4 +15,4 @@ makedocs(;
     warnonly = true,
 )
 
-# deploydocs(; repo = "github.com/MichaelSchloesser/WeaklySeparatedCollections.jl", push_preview = true)
+deploydocs(; repo = "github.com/MichaelSchloesser/WeaklySeparatedCollections.jl", push_preview = true)