Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Cargo update 2024-01-18 #2978

Merged

Conversation

remi-delmas-3000
Copy link
Contributor

Starting from clap v4.4.15 clap-rs/clap#5298 in some cases UnknownArgument errors are reported as ArgumentConflict errors.

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

Starting from clap v4.4.15 clap-rs/clap#5298
UnknownArgument errors are reported as ArgumentConflict errors.
@remi-delmas-3000 remi-delmas-3000 requested a review from a team as a code owner January 18, 2024 23:05
@github-actions github-actions bot added the Z-BenchCI Tag a PR to run benchmark CI label Jan 18, 2024
@celinval celinval merged commit 16641d2 into model-checking:main Jan 19, 2024
21 checks passed
qinheping added a commit that referenced this pull request Jan 24, 2024
These are the auto-generated release notes for comparison purposes:

## What's Changed
* Rethink `should_panic` and `fail_uncoverable` options as global
conditions by @adpaco-aws in
#2967
* Upgrade toolchain to nightly-2024-01-17 by @celinval in
#2976
* Benchcomp visualize: fix missing import by @tautschnig in
#2977
* Cargo update 2024-01-18 by @remi-delmas-3000 in
#2978

**Full Changelog**:
kani-0.44.0...kani-0.45.0

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
qinheping added a commit to qinheping/kani that referenced this pull request Jan 26, 2024
These are the auto-generated release notes for comparison purposes:

## What's Changed
* Rethink `should_panic` and `fail_uncoverable` options as global
conditions by @adpaco-aws in
model-checking#2967
* Upgrade toolchain to nightly-2024-01-17 by @celinval in
model-checking#2976
* Benchcomp visualize: fix missing import by @tautschnig in
model-checking#2977
* Cargo update 2024-01-18 by @remi-delmas-3000 in
model-checking#2978

**Full Changelog**:
model-checking/kani@kani-0.44.0...kani-0.45.0

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Z-BenchCI Tag a PR to run benchmark CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants