Skip to content

Support for v2.7.0.1 #300

Support for v2.7.0.1

Support for v2.7.0.1 #300

Annotations

1 warning

Setup Agda (2.7.0.1) on macos-14

succeeded Oct 19, 2024 in 1m 16s