Skip to content

Remove semantic_pull_request check#4031

Merged
rrsettgast merged 1 commit intodevelopfrom
fix/remove_semantic_pull_request_check
Apr 19, 2026
Merged

Remove semantic_pull_request check#4031
rrsettgast merged 1 commit intodevelopfrom
fix/remove_semantic_pull_request_check

Conversation

@rrsettgast
Copy link
Copy Markdown
Member

This PR removes the semantic_pull_request in the CI process.

@rrsettgast rrsettgast self-assigned this Apr 19, 2026
@rrsettgast rrsettgast added ci: run CUDA builds Allows to triggers (costly) CUDA jobs ci: run integrated tests Allows to run the integrated tests in GEOS CI ci: run code coverage enables running of the code coverage CI jobs labels Apr 19, 2026
@rrsettgast rrsettgast merged commit 3a82102 into develop Apr 19, 2026
21 checks passed
@rrsettgast rrsettgast deleted the fix/remove_semantic_pull_request_check branch April 19, 2026 22:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci: run code coverage enables running of the code coverage CI jobs ci: run CUDA builds Allows to triggers (costly) CUDA jobs ci: run integrated tests Allows to run the integrated tests in GEOS CI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant