Commit 1e39f27
authored
Major-version update cargo dependencies (#4447)
Updates as suggested by `cargo outdated --workspace`, and now including
`toml` (which was held back in #4240): upgrading `toml` from 0.8 to 0.9
required changes to our use of `from_str`.
By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.1 parent d80decf commit 1e39f27
File tree
4 files changed
+64
-358
lines changed- kani-driver
- src
- tools/build-kani
4 files changed
+64
-358
lines changed
0 commit comments