update move prover #8947
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
1 error and 4 warnings
build and test
Process completed with exit code 100.
|
build and test
the following packages contain code that will be rejected by a future version of Rust: traitobject v0.1.0
|
build and test
package `hermit-abi v0.3.1` in Cargo.lock is yanked in registry `crates-io`, consider running without --locked
|
build and test
the following packages contain code that will be rejected by a future version of Rust: traitobject v0.1.0
|
build and test
the following packages contain code that will be rejected by a future version of Rust: traitobject v0.1.0
|