From ae2ecd520130c1abd30596398bf45bfee91aa130 Mon Sep 17 00:00:00 2001 From: Hong Ge <3279477+yebai@users.noreply.github.com> Date: Fri, 21 Jun 2024 15:25:48 +0100 Subject: [PATCH] Update docs/make.jl Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> --- docs/make.jl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/make.jl b/docs/make.jl index f7d44c0a..5faf7e47 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -13,6 +13,8 @@ makedocs(; ) # Insert navbar in each html file -run(`sh -c "curl -s https://raw.githubusercontent.com/TuringLang/turinglang.github.io/main/assets/scripts/insert_navbar.sh | bash -s docs/build"`) +run( + `sh -c "curl -s https://raw.githubusercontent.com/TuringLang/turinglang.github.io/main/assets/scripts/insert_navbar.sh | bash -s docs/build"`, +) deploydocs(; repo="github.com/TuringLang/AbstractMCMC.jl.git", push_preview=true)