Skip to content
Nix CI

Compile dot patterns #277

Sign in to view logs

Compile dot patterns

Compile dot patterns #277

Compile agda2hs with nix (agda2hs)

Compile agda2hs with nix (agda2hs)
succeeded Nov 4, 2025 in 54s