Setup Agda

Version updated for wenkokke/setup-agda to version latest.

• This action is used across all versions by 24 repositories.

Go to the GitHub Marketplace to find the latest changes.

Release notes

The latest release always points to the latest commit for which the setup tests pass.

The custom binary distributions for Agda used by the action are attached to this release.

• wenkokke
• GitHub Actions