Setup Agda

Version updated for wenkokke/setup-agda to version v2.1.0.

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

Go to the GitHub Marketplace to find the latest changes.

Release notes

• Add support for Agda 2.6.4
• Add support for agda-stdlib 1.7.3
• Fix releases for Agda 2.5.3 and 2.5.4.2 on macOS

• wenkokke
• GitHub Actions