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}