Update smoke.sh

This commit is contained in:
gravermistakes 2026-07-14 13:17:04 -07:00 committed by GitHub
parent 562d8a36a9
commit 5ce4d8d790
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -30,7 +30,7 @@ else
fi
# 2. mafiabot_core — Ada border, build + tests ------------------------------
note "mafiabot_core (Ada): alr build + tests"
note "core (Ada): alr build + tests"
if command -v alr >/dev/null; then
( cd "$ROOT/core" && alr -n build >/dev/null 2>&1 \
&& for t in trust_tests config_tests engine_tests; do