Only use Ubuntu 20.04 (Focal) builds for Ubuntu - Githubissues

wenkokke / setup-agda

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

Other

26 stars 3 forks source link

Only use Ubuntu 20.04 (Focal) builds for Ubuntu #216

Closed wenkokke closed 5 months ago