diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml index 7c5bf3677..7b2e4497e 100644 --- a/.github/workflows/maven.yml +++ b/.github/workflows/maven.yml @@ -85,4 +85,18 @@ jobs: run: echo "LD_LIBRARY_PATH=$(pwd)/jmeos-core/src/" >> $GITHUB_ENV - name: Build with Maven - run: mvn clean install + run: | + set -o pipefail + mvn clean install | 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: "1894"