Skip to content

Conversation

geoffw0
Copy link
Contributor

@geoffw0 geoffw0 commented Jan 29, 2025

Following on from #18605 , this pull request contains another upgrade to the sources (addition of container .Element content) and adds models of Iterator::nth and Iterator::collect so that we reach more sinks in the tests.

@geoffw0 geoffw0 added no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code labels Jan 29, 2025
@Copilot Copilot AI review requested due to automatic review settings January 29, 2025 09:23
Copy link
Contributor

@Copilot Copilot AI left a comment

Choose a reason for hiding this comment

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

Copilot reviewed 5 out of 5 changed files in this pull request and generated no comments.

Tip: Copilot only keeps its highest confidence comments to reduce noise and keep you focused. Learn more

@geoffw0
Copy link
Contributor Author

geoffw0 commented Jan 29, 2025

DCA LGTM. Not very eventful.

Copy link
Contributor

@paldepind paldepind left a comment

Choose a reason for hiding this comment

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

LGTM! The changes in rust/ql/test/utils-tests/modelgenerator/summaries.rs are already on main. Not sure if that's a problem when merging.

@geoffw0
Copy link
Contributor Author

geoffw0 commented Feb 7, 2025

The changes in rust/ql/test/utils-tests/modelgenerator/summaries.rs are already on main. Not sure if that's a problem when merging.

Yeah I noticed we both fixed that. The merge button is green so it should be fine.

@geoffw0 geoffw0 merged commit b5c0754 into github:main Feb 7, 2025
14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants