Skip to content

Pinned agda version to 2.6.4.3. #87

Pinned agda version to 2.6.4.3.

Pinned agda version to 2.6.4.3. #87

Run tests

failed Sep 24, 2024 in 59s