commit 4067db2b4bd6393a06650b130f5b7abb3c37801f
parent 662eb8d801cf1de103d79e8dacac54235dda67a5
Author: triesap <tyson@radroots.org>
Date: Mon, 21 Sep 2026 03:45:13 +0000
spec: add a bounded repo-owned build check
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/pixi.toml b/pixi.toml
@@ -25,6 +25,7 @@ test-repo-local-process = "mojo -I src tests/test_repo_local_process_contract.mo
test-stdio = "mojo -I src tests/test_stdio_contract.mojo"
test-provider-adapter = "mojo -I src -I tests tests/test_provider_adapter.mojo"
test-spec = "mojo -I src -I tests tests/test_traceability.mojo"
+check-build = "mkdir -p .pixi/build && mojo build -I src src/main.mojo -o .pixi/build/hyfd"
smoke-max-local = "mojo -I src -I tests tests/max_local_operator_smoke.mojo"
test-runtime-contract = { depends-on = [
"test-runtime",