Set up a specific version of Agda for your GitHub Actions workflow.
Latest commits.
Builders behind this project.
