My workspace Cargo.toml has:
#[...]
[workspace]
resolver = "3"
[workspace.package]
edition = "2024"
#[...]
The error:
┌──── Begin stderr ────┐
error: failed to parse manifest at `/project/backend/bin/Cargo.toml`
Caused by:
error inheriting `version` from workspace root manifest's `workspace.package.version`
Caused by:
failed to parse manifest at `/project/Cargo.toml`
Caused by:
`resolver` setting `3` is not valid, valid options are "1" or "2"
└──── End stderr ──────┘
Exit code 101, signal null.
Error while running Prusti: SyntaxError: Unexpected end of JSON input
Thanks