aya-prover/setup-aya
Set up Aya in your GitHub Actions workflow
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
- Runtime
- Deprecated runtime
Inputs
| name | description | required | default |
|---|---|---|---|
| version | The Aya version you want to use. This can be a tag name, or a specific commit hash. The default version is nightly-build. Example values: v0.19, v0.1, nightly-build, or any commit hash. | no | nightly-build |
| distribution | Which Aya distribution you want to use. The default distribution is jlink. It is not recommended to change this value, because "compile-once, run-everywhere". Supported distributions: jlink, native | no | jlink |
| build-from-source | Whether to build Aya from source. This is not recommended, as it may take a long time. This can be used together with the {{ version }} parameter. | no | false |
Outputs
no outputs