search

wenkokke / setup-agda

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

Add support for stdlib-2.0. #201

Closed patrikja closed 9 months ago

patrikja commented 11 months ago

I've made an attempt at adding support for the recently released agda-stdlib-2.0. (+a minor documentation fix)

wenkokke commented 11 months ago

It seems like your edited YAML file is malformed.

I also should add tests for specific standard library versions, so you could add that test to see if you've done things correctly.

wenkokke commented 9 months ago

Closing in favour of #207, where I've done the exact same thing from scratch, except not making that small formatting error that I only found afterwards.