diff --git a/script/randomized-test-ci b/script/randomized-test-ci index 7816ebfbbf22b336814f18b95175d73dc561ef36..4d3f85aef48741adafd235feb7e457f609376156 100755 --- a/script/randomized-test-ci +++ b/script/randomized-test-ci @@ -56,6 +56,8 @@ async function main() { headers: {"Content-Type": "application/json"}, body: JSON.stringify(body) }) + + process.exit(1) } function randomU64() {