Skip to content

Exit zero from a refresh that succeeded - #87

Merged
estebanzimanyi merged 2 commits into
MobilityDB:masterfrom
estebanzimanyi:fix/refresh-binding-success-exit-status
Aug 27, 2026
Merged

Exit zero from a refresh that succeeded#87
estebanzimanyi merged 2 commits into
MobilityDB:masterfrom
estebanzimanyi:fix/refresh-binding-success-exit-status

Commits

Commits on Aug 27, 2026