Skip to content

fix: Revert patch b751c2/#246#252

Merged
jafranc merged 2 commits intomainfrom
fix/jafranc/CI-restoring
May 7, 2026
Merged

fix: Revert patch b751c2/#246#252
jafranc merged 2 commits intomainfrom
fix/jafranc/CI-restoring

Conversation

@jafranc
Copy link
Copy Markdown
Collaborator

@jafranc jafranc commented May 7, 2026

Restoring lightweight CI GEOS path (GEOS-DEV/GEOS#4014) reverting b751c2/#246

@jafranc jafranc self-assigned this May 7, 2026
@jafranc jafranc added flag: ready for review flag: ready to merge type: ci force-geos-integration Force triggering of GEOS integration CI even if non req labels May 7, 2026
@jafranc jafranc merged commit b4103be into main May 7, 2026
56 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant