Skip to content

switch to v1-build on the nix ci #145

switch to v1-build on the nix ci

switch to v1-build on the nix ci #145

Annotations

1 warning

Compile agda2hs with nix (agda2hs)

succeeded Jan 23, 2025 in 1m 34s