search

wenkokke / setup-agda

Set up a specific version of Agda for your GitHub Actions workflow.
Other
26 stars 3 forks source link

Support Agda v2.7.0 #218

Closed wenkokke closed 2 months ago

andreasabel commented 3 weeks ago

@wenkokke: Does 2.7.0 work now? It does not seem to be covered by the CI here. We got an error at: https://github.com/graded-type-theory/graded-type-theory/actions/runs/11399123471/job/31717338446#step:3:28

Run wenkokke/setup-agda@latest Error: Unknown Agda version '2.7.0'

Maybe latest isn't the latest: