This action sets up an Agda environment for use in other Github actions.
omelkonian/setup-agda
Set up your GitHub Actions workflow with a specific version of Agda (+ stdlib + libraries from git repos)
README
Contributors
Set up your GitHub Actions workflow with a specific version of Agda (+ stdlib + libraries from git repos)