You are viewing a plain text version of this content. The canonical link for it is here.
Posted to notifications@shardingsphere.apache.org by "terrymanu (via GitHub)" <gi...@apache.org> on 2026/10/22 12:49:55 UTC
[PR] Add semantic case for ownership violations with correct behavior [shardingsphere]
terrymanu opened a new pull request, #40347:
URL: https://github.com/apache/shardingsphere/pull/40347
(no comment)
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: notifications-unsubscribe@shardingsphere.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
Re: [PR] Add semantic case for ownership violations with correct behavior [shardingsphere]
Posted by "terrymanu (via GitHub)" <gi...@apache.org>.
terrymanu commented on PR #40347:
URL: https://github.com/apache/shardingsphere/pull/40347#issuecomment-6343199090
### Result
Review Result: Mergeable
No blocking issues or required changes remain. This conclusion covers code correctness only.
### Evidence
All 248 upstream cases and the original PR case are preserved, totaling 249 cases.
The two original semantic results remain applicable after verifying identical evaluation inputs. Final bootstrap validation passed.
### Coverage
Base: ab503c6758c8. Candidate: 99de35bdeab.
Complete coverage of one file with 77 added lines.
All three discovery lenses, convergence checks, two mutually blind assessments, and coordinator confirmation completed with no unresolved differences.
Checkstyle and Spotless do not apply to this TOML file. CI was not reviewed.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: notifications-unsubscribe@shardingsphere.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
Re: [PR] Add semantic case for ownership violations with correct behavior [shardingsphere]
Posted by "terrymanu (via GitHub)" <gi...@apache.org>.
terrymanu merged PR #40347:
URL: https://github.com/apache/shardingsphere/pull/40347
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: notifications-unsubscribe@shardingsphere.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org