Remove deploydocs call (no longer needed)

TuringLang · Feb 8, 2025 · 9c8fa90 · 9c8fa90
1 parent 4265986
commit 9c8fa90
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -18,9 +18,3 @@ makedocs(;
         "Home" => "index.md",
     ],
 )
-
-deploydocs(;
-    repo="github.com/TuringLang/TuringBenchmarking.jl",
-    devbranch="main",
-    push_preview=true,
-)