setup-agda icon indicating copy to clipboard operation
setup-agda copied to clipboard
verified publisher icon wenkokke

Support for v2.8.0 (#226)

Open wenkokke opened this issue 5 months ago • 2 comments

wenkokke avatar Jul 27 '25 14:07 wenkokke

What else is needed here?

ncfavier avatar Sep 08 '25 11:09 ncfavier

This needs support for agda-stdlib 2.3 to be incorporated either in the same PR or in a separate PR. The primary thing that's crashing is testing the latest Agda version against its standard library.

wenkokke avatar Sep 08 '25 13:09 wenkokke

It seems this action is difficult to maintain due to its complexity.

I wrote a simplistic setup action that can install 2.8.0 and the standard-library from the versions released on the @agda organization: https://github.com/agda/agda-setup-action

andreasabel avatar Nov 14 '25 20:11 andreasabel