Skip to content

Conversation

@GitPaean
Copy link
Member

@GitPaean GitPaean commented Feb 5, 2026

@GitPaean GitPaean added the manual:irrelevant This PR is a minor fix and should not appear in the manual label Feb 5, 2026
@bska
Copy link
Member

bska commented Feb 5, 2026

This has the same effect as #6787, except it's a little more expensive. If we do end up merging OPM/opm-common#4975, and in my opinion we should, then the final version here should be more comprehensive than the current proposal.

@GitPaean
Copy link
Member Author

GitPaean commented Feb 5, 2026

This has the same effect as #6787, except it's a little more expensive. If we do end up merging OPM/opm-common#4975, and in my opinion we should, then the final version here should be more comprehensive than the current proposal.

You are right. I only search the usage of Schedule::filterConnections(). The PR should be extended to more proper.

@GitPaean GitPaean force-pushed the removing_filterConnections branch from cf4d31d to 85af872 Compare February 6, 2026 09:17
@GitPaean
Copy link
Member Author

GitPaean commented Feb 6, 2026

jenkins build this opm-common=4975 please

@GitPaean GitPaean marked this pull request as ready for review February 6, 2026 22:33
Copy link
Member

@bska bska left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Very good. I'll merge into master.

@bska bska merged commit 5ab2a6a into OPM:master Feb 10, 2026
2 checks passed
@GitPaean GitPaean deleted the removing_filterConnections branch February 10, 2026 21:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

manual:irrelevant This PR is a minor fix and should not appear in the manual

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants