Skip to content

Support for v2.7.0.1 #299

Support for v2.7.0.1

Support for v2.7.0.1 #299

Annotations

2 errors

Setup Agda (2.7.0.1) on windows-2019

failed Oct 19, 2024 in 9s