Update dependencies
All threads resolved!
All threads resolved!
This MR updates and also removes some Rust dependencies for a release build:
-
analysis_driver
andgen_accessibility_driver
binaries: Used foranalysis
's testing purposes only. -
derive_more
crate: KeepsDisplay
for future use. -
fs_extra
crate: Unused and therefore removed.
The only interesting commits are !39 (75ba1933) and !39 (11f1254e).
It is now also possible to do cargo test
(added in the CI), useful to add more tests.
Currently, cargo test
fails on analysis
: I'll look into this later (unless @lgaeher has already an idea why it might fail).
Edited by Vincent Lafeychine
Merge request reports
Activity
Filter activity
requested review from @lgaeher
- Resolved by Lennard Gäher
I don't know why
cargo test
fails on theanalysis
crate -- that one is sourced from Prusti, and chances are we don't even need large parts of it
added 5 commits
- d2463086 - chore(analysis): Update test_cases from upstream
- 437aa411 - feat(cargo): Move analysis test binaries out of workspace
- a228af60 - fix(cargo): Add rustc_driver as extern for test compilation
- 22a70bbf - feat(ci): Add 'cargo test' job
- be34e3ad - chore(analysis): Allow to use RUST_SRC_PATH for tests
Toggle commit list
Please register or sign in to reply