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.

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