/

wenkokke/setup-agda

Set up a specific version of Agda for your GitHub Actions workflow.

TypeScriptStars 28Forks 4Watchers 28Open issues 24License Other

Details

仓库信息

Ownerwenkokke

Homepage—

Last pushed2025-11-24

Last updated2025-12-14

Issues fetched at—

Stats

Community at a glance