chore(doc): do not push latest for now

ci-bot · ci-bot · commit ca4151d4fdf1 · 2025-09-22T12:05:21.000+02:00
diff --git a/castor.php b/castor.php
@@ -146,7 +146,6 @@ function doc_build_github_pages()
 
         if ($tag === $latestVersion) {
             run('poetry run mike deploy --push --remote gh-pages ' . $tag . ' latest');
-            run('poetry run mike set-default --ignore-remote-status --push latest');
         } else {
             run('poetry run mike deploy --push --remote gh-pages --update-aliases ' . $tag);
         }

Original file line number	Diff line number	Diff line change
`@@ -146,7 +146,6 @@ function doc_build_github_pages()`
`146`	`146`
`147`	`147`	`if ($tag === $latestVersion) {`
`148`	`148`	`run('poetry run mike deploy --push --remote gh-pages ' . $tag . ' latest');`
`149`		`- run('poetry run mike set-default --ignore-remote-status --push latest');`
`150`	`149`	`} else {`
`151`	`150`	`run('poetry run mike deploy --push --remote gh-pages --update-aliases ' . $tag);`
`152`	`151`	`}`