search

wenkokke / setup-agda

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

Bump haskell/actions/setup v2.0.4 -> v2.4.3 #185

Closed wenkokke closed 1 year ago