cmd/dist: replace dist/release.sh
All checks were successful
Test / Create distribution (push) Successful in 1m19s
Test / Sandbox (push) Successful in 3m10s
Test / Hakurei (push) Successful in 4m28s
Test / ShareFS (push) Successful in 4m36s
Test / Sandbox (race detector) (push) Successful in 5m37s
Test / Hakurei (race detector) (push) Successful in 6m50s
Test / Flake checks (push) Successful in 1m29s

This is much more robust than a shell script.

Signed-off-by: Ophestra <cat@gensokyo.uk>
This commit is contained in:
2026-04-05 20:57:01 +09:00
parent 4cd0f57e48
commit 5400ee1467
9 changed files with 240 additions and 78 deletions

View File

@@ -141,7 +141,7 @@
PATH="${pkgs.pkgsStatic.musl.bin}/bin:$PATH" \
DESTDIR="$out" \
HAKUREI_VERSION="v${hakurei.version}" \
./dist/release.sh
./all.sh
'';
}
);