Add v2.6.4.3 - Githubissues

wenkokke / setup-agda

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

Other

26 stars 3 forks source link

Closed wenkokke closed 7 months ago

andreasabel commented 7 months ago

Would be great to get Agda 2.6.4.3 here.

I think you need not support macos-13 since this will never become non-beta. (Rather, there will be macos-14.)

wenkokke commented 7 months ago

Very fair point, I'll remove macOS 13 and add the rest.