Prusti exited with a non-zero exit code

error: [Prusti: invalid specification] The version of `prusti-specs` used is '0.1.10', however your Prusti executable was built with '0.2.0'! Please use `prusti-specs` version '0.2.0' or newer. Alternatively you could downgrade your Prusti version to '0.2.2'. --> /home/runner/.cargo/registry/src/index.crates.io-6f17d22bba15001f/prusti-contracts-0.1.10/src/core_spec.rs:4:1 | 4 | / impl<T, E> ::core::result::Result<T, E> { 5 | | #[pure] 6 | | #[ensures(result == matches!(self, Ok(_)))] 7 | | fn is_ok(&self) -> bool; ... | 11 | | fn is_err(&self) -> bool; 12 | | } | |_^

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions-rs/toolchain@v1, actions-rs/clippy-check@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/toolchain@v1, actions-rs/clippy-check@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/