From 67c7ee71567eb3ef44d368a6b61b9c0d28c4f808 Mon Sep 17 00:00:00 2001 From: Esteban Zimanyi Date: Tue, 1 Sep 2026 02:42:16 +0200 Subject: [PATCH] Refuse a skip, and a suite that shrank MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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 — one flag is enough to reach it, and MobilityFlink's binding module under `-Dmeos.enabled=false` reports `Tests run: 7, Failures: 0, Errors: 0, Skipped: 7` beside `BUILD SUCCESS`, its whole MEOS surface disabled under a green build. A test the run never collects is worse, because it appears in no count at all: a surefire ``, a `-Dtest=` filter, a class renamed out of `*Test` or a deleted file all leave the skip number at zero. Once skipping is refused, removing a test is the remaining way to stop running it, so the total carries a floor. The rules live in MEOS-API beside the catalog and the tree-hygiene check, so this repository carries no copy of them. The build is teed to a log under `set -o pipefail`, so `tee` cannot mask a failing build, and the check reads the summary from it. --- .github/workflows/maven.yml | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) 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"