Skip to content

Refuse a skip, and a suite that shrank - #54

Merged
estebanzimanyi merged 1 commit into
MobilityDB:mainfrom
estebanzimanyi:ci/refuse-a-suite-that-shrinks
Sep 1, 2026
Merged

estebanzimanyi merged 1 commit into
MobilityDB:mainfrom
estebanzimanyi:ci/refuse-a-suite-that-shrinks

Refuse a skip, and a suite that shrank

6ca0b4e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Tree hygiene
succeeded Sep 1, 2026 in 7s