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
18site="$tmp/site" 18site="$tmp/site"
19work="$tmp/work" 19work="$tmp/work"
20 20
21cargo run --release --locked -- build docs -o "$site" --strict 21cargo run --locked -- build docs -o "$site" --strict
22rm -f "$site/.orgo-cache.json" 22rm -f "$site/.orgo-cache.json"
23 23
24# An orphan history: the pages branch carries the built site and nothing else, so 24# An orphan history: the pages branch carries the built site and nothing else, so