From c5e56a5e45a66208e1ef643f152c697bfd08f76f Mon Sep 17 00:00:00 2001
From: Max Brunsfeld <maxbrunsfeld@gmail.com>
Date: Tue, 18 Apr 2023 18:41:33 -0700
Subject: [PATCH] Fail the randomized test build after reporting the error to
 zed.dev

---
 script/randomized-test-ci | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/script/randomized-test-ci b/script/randomized-test-ci
index 7816ebfbbf..4d3f85aef4 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() {