GitHub repository: omelkonian/setup-agda
Primary language: TypeScript
Description: Set up your GitHub Actions workflow with a specific version of Agda (+ stdlib + libraries from git repos)