From 77a20550daed5e5840e66a8112cd060e890f07f4 Mon Sep 17 00:00:00 2001 From: Ayomide-codex Date: Tue, 30 Jun 2026 09:36:05 +0100 Subject: [PATCH] Add default budget for WASM size check --- scripts/check_wasm_size.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/check_wasm_size.sh b/scripts/check_wasm_size.sh index 65e18946..2a1df216 100755 --- a/scripts/check_wasm_size.sh +++ b/scripts/check_wasm_size.sh @@ -1,6 +1,8 @@ #!/bin/bash set -e + + # Default budget: 768 KiB = 768 * 1024 = 786432 bytes BUDGET=${WASM_SIZE_BUDGET:-786432}