wenkokke/setup-agda
Installs Agda on the current runner
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| agda-version | The version of Agda to install, defaults to latest | no | "" |
| update-environment | Set this option if you want the action to update environment variables. | no | true |
Outputs
| name | description |
|---|---|
| agda-path | The path to the agda executable |
| agda-mode-path | The path to the agda-mode executable |
| agda-data-path | The path to the agda data directory |