agda/Agda Setup Action
Install Agda from official releases and optionally the standard library
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Maintainedlast commit Nov 14, 2025
- License
- BSD
Pinned Snippet
uses: agda/agda-setup-action@c931d59d76a036d1bed9f322cc12cc105bda7881 # v1.0.0tags can be moved; commit SHAs can't. why a SHA?
Inputs
| name | description | required | default |
|---|---|---|---|
| agda-version | Version of Agda to install (e.g., 2.8.0) | yes | 2.8.0 |
| agda-stdlib-version | Version of Agda standard library to install (e.g., 2.3). If not specified, the standard library will not be installed. | no | "" |
Outputs
| name | description |
|---|---|
| agda-path | Path to the Agda executable |
| agda-dir | Path to the Agda application directory |