Build the docs site with the dev profile !7

merged merged by cmc on 2026-08-30 17:46 UTC · krz/orgo:pages-debug-profile into main

1 file changed, +1 −1

Layout: unified · split

.gitbay/pages.sh +1 −1
@@ -18,7 +18,7 @@ trap 'rm -rf "$tmp"' EXIT
1818site="$tmp/site"
1919work="$tmp/work"
2020
21cargo run --release --locked -- build docs -o "$site" --strict
21cargo run --locked -- build docs -o "$site" --strict
2222rm -f "$site/.orgo-cache.json"
2323
2424# An orphan history: the pages branch carries the built site and nothing else, so