fix checkdocs option

Roger-luo · Roger-luo · commit 952c0e7c2e22 · 2024-08-07T10:44:39.000-04:00
diff --git a/.ci/src/docs.jl b/.ci/src/docs.jl
@@ -84,7 +84,7 @@ function doc_build_script(pages, repo)
             sidebar_sitename=false,
         ),
         pages=$pages,
-        checkdocs=false,
+        checkdocs=:none,
         linkcheck=false,
         warnonly=true,
     )

Original file line number	Diff line number	Diff line change
`@@ -84,7 +84,7 @@ function doc_build_script(pages, repo)`
`84`	`84`	`sidebar_sitename=false,`
`85`	`85`	`),`
`86`	`86`	`pages=$pages,`
`87`		`- checkdocs=false,`
	`87`	`+ checkdocs=:none,`
`88`	`88`	`linkcheck=false,`
`89`	`89`	`warnonly=true,`
`90`	`90`	`)`