ci: Fix exiting from ci.sh on error #1660
Merged
Cirrus CI / ARM64: Linux (Debian stable), Valgrind CC:gcc
succeeded
Mar 13, 2025 in 8m 5s
Task Summary
Task successfully finished!
Details
✅ 00:01 clone
✅ 00:01 env
✅ 00:01 build
✅ 07:40 test
✅ 00:01 cat_tests_log
✅ 00:01 cat_noverify_tests_log
✅ 00:01 cat_exhaustive_tests_log
✅ 00:01 cat_ctime_tests_log
✅ 00:01 cat_bench_log
✅ 00:01 cat_config_log
✅ 00:01 cat_test_env
✅ 00:01 cat_ci_env
Loading