search

wenkokke / setup-agda

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

Create release workflow #175

Open wenkokke opened 1 year ago

wenkokke commented 1 year ago

Create a GitHub workflow which publishes a release on tag and attached the built agdaup binaries.