zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-09-16 00:47:39 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fail the randomized test build after reporting the error to zed.dev

Browse Source
This commit is contained in:
Max Brunsfeld 2023-04-18 18:41:33 -07:00
parent 5934e882b8
commit c5e56a5e45
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
script/randomized-test-ci
View File

@ -56,6 +56,8 @@ async function main() {
headers: {"Content-Type": "application/json"},
body: JSON.stringify(body)
})
process.exit(1)
}
function randomU64() {