put preview=false in doc gen

ablaom · ablaom · commit 0310c869e30d · 2022-09-13T12:35:36.000+12:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -22,6 +22,6 @@ makedocs(;
 deploydocs(
     ; repo=REPO,
     devbranch="dev",
-    push_preview=true,
+    push_preview=false,
 )
 
