Skip to content

Pinned agda version to 2.6.4.3. #88

Pinned agda version to 2.6.4.3.

Pinned agda version to 2.6.4.3. #88

Annotations

4 warnings

This job succeeded