diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml index eb4d541..d85367d 100644 --- a/.github/workflows/maven.yml +++ b/.github/workflows/maven.yml @@ -95,4 +95,18 @@ jobs: - name: Build + generate + smoke tests # generate-sources runs codegen_jvm.py --engine flink over the installed jar's full surface; # the smoke tests exercise the facades against the freshly built libmeos from /usr/local/lib. - run: mvn -B -Dmeos.lib.dir=/usr/local/lib -Dmeos.enabled=true clean test + run: | + set -o pipefail + mvn -B -Dmeos.lib.dir=/usr/local/lib -Dmeos.enabled=true clean test | tee "$RUNNER_TEMP/build.log" + + # The build's own summary states two things this job's conclusion does + # not: a test reported SKIPPED asserts nothing while the job still reads + # success, and a test the run never collects appears in no count at all, + # so removing one leaves the skip number at zero. The floor is what + # guards the second. Raise it when the suite grows; lowering it belongs + # in the commit that accounts for the removal. + - name: Refuse a skip, and a suite that shrank + uses: MobilityDB/MEOS-API/.github/actions/check-test-outcome@master + with: + log: ${{ runner.temp }}/build.log + min-tests: "19"