diff --git a/.github/workflows/compare_pr_to_master.v b/.github/workflows/compare_pr_to_master.v index 8de3e9e4e3..f9f4b35757 100755 --- a/.github/workflows/compare_pr_to_master.v +++ b/.github/workflows/compare_pr_to_master.v @@ -12,7 +12,11 @@ fn gcommit() string { } fn r(cmd string) { - os.system(cmd) + res := os.system(cmd) + if res != 0 { + eprintln('> failed running: `${cmd}`') + exit(1) + } } fn xtime(cmd string) {