Skip to content

Conversation

ouz-a
Copy link
Contributor

@ouz-a ouz-a commented Dec 2, 2023

Last time we stabilized #2882, this continues the trend and stabilizes find_debug_info as well.

@ouz-a ouz-a requested a review from a team as a code owner December 2, 2023 11:38
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Dec 2, 2023
Copy link
Contributor

@celinval celinval left a comment

Choose a reason for hiding this comment

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

Can you please fix the clippy warning?

@celinval celinval enabled auto-merge (squash) December 7, 2023 21:52
@celinval celinval merged commit 01bf411 into model-checking:main Dec 8, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Z-EndToEndBenchCI Tag a PR to run benchmark CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants