issues
search
wenkokke
/
setup-agda
Set up a specific version of Agda for your GitHub Actions workflow.
Other
26
stars
3
forks
source link
Bump setup-haskell v2.5.1 -> v2.7.0
#213
Closed
wenkokke
closed
5 months ago