From 553e7dc4cd07a3ec2feb83386ca94ed171319889 Mon Sep 17 00:00:00 2001 From: "Viral B. Shah" Date: Tue, 27 Oct 2026 16:53:52 +0000 Subject: [PATCH] Deploy dev docs from v11, the default branch Documenter's devbranch defaulted to master, so pushes to v11 built the docs but never deployed them; the dev docs have been stale since v0.11.1. Co-Authored-By: Claude Opus 5.5 --- docs/make.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/make.jl b/docs/make.jl index 507d1db2..694b9bf4 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -26,4 +26,5 @@ makedocs( deploydocs( repo = "github.com/JuliaSparse/SuiteSparseGraphBLAS.jl.git", + devbranch = "v11", )