issues
search
wenkokke
/
setup-agda
Set up a specific version of Agda for your GitHub Actions workflow.
Other
26
stars
3
forks
source link
Fix SHA256 for patched binary distributions & clean up commented-out …
#214
Closed
wenkokke
closed
5 months ago
wenkokke
commented
5 months ago
…URLs
…URLs