Skip to content

CI

CI #996

Annotations

11 warnings

Build with older Agda 2.6.4.3

succeeded Feb 9, 2025 in 33m 34s