Skip to content

Remove the flag that lets a run report skips as acceptable - #136

Merged
estebanzimanyi merged 1 commit into
MobilityDB:masterfrom
estebanzimanyi:ci/no-flag-permits-a-skip
Sep 7, 2026
Merged

Remove the flag that lets a run report skips as acceptable#136
estebanzimanyi merged 1 commit into
MobilityDB:masterfrom
estebanzimanyi:ci/no-flag-permits-a-skip

Commits

Commits on Sep 7, 2026