certora/Certora Rust Setup Action
This GitHub Action sets up the Rust toolchain and installs the `cargo-certora-sbf` tool.
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| version | The version of Rust to install. If not specified, the latest stable version will be used. The minimum supported version is `1.82.0`. | no | stable |
| additional-versions | Additional versions of Rust to install, separated by spaces. Example: `1.75 1.79`. | no | "" |
| certora-sbf-version | The version of `cargo-certora-sbf` to install. If not specified, the latest version will be used. | no | "" |
| certora-sbf-options | Additional options to pass to the `cargo certora-sbf` command. This can be used to specify additional flags or configurations for the Certora SBF tool. See https://github.com/Certora/cargo-certora-sbf for more details on available options. | no | "" |
Outputs
no outputs