2-test.sh (367B)
1 #!/bin/bash 2 set -exuo pipefail 3 4 # A failing test still produces useful coverage data, so this step does 5 # not abort the job; the coverage report is the deliverable here and 6 # job 2-test is the one that gates on test results. 7 make -j"$(nproc)" check || echo "WARNING: 'make check' failed; the coverage report below is still generated, but it describes a failing run."