Skip to content

Remove deprecated --enable-stubbing - #3309

Merged
celinval merged 4 commits into
model-checking:mainfrom
celinval:issue-2279-enable-unstable
Jul 3, 2024
Merged

Remove deprecated --enable-stubbing#3309
celinval merged 4 commits into
model-checking:mainfrom
celinval:issue-2279-enable-unstable

Conversation

@celinval

Copy link
Copy Markdown
Contributor

Part of #2279

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@celinval
celinval requested a review from a team as a code ownerJune 28, 2024 23:25

@zhassan-awszhassan-aws left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Thanks

Comment threadtests/cargo-ui/stubbing-flag/src/main.rs Outdated
@celinval
celinval enabled auto-merge (squash) July 3, 2024 05:10
@celinval
celinval merged commit f6d3385 into model-checking:mainJul 3, 2024
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@celinval@zhassan-aws