Skip to content

ci: Adding on-flag GEOS-CI #155

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
wants to merge 1 commit into from
Closed

ci: Adding on-flag GEOS-CI #155

wants to merge 1 commit into from

Conversation

jafranc
Copy link
Contributor

@jafranc jafranc commented Oct 15, 2025 •
edited
Loading

In order to avoid long CI build when work-in-progress,

  • discard CI launch if semantics is ok but PR in draft mode
  • skip the GEOS-integration CI even if required as long as the flag 'test-geos-ci' is not set

@jafranc jafranc self-assigned this Oct 15, 2025
@jafranc jafranc marked this pull request as draft October 15, 2025 15:10
@jafranc jafranc closed this Oct 16, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@jafranc jafranc

Labels

type: ci

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@jafranc