Skip to content
Nix CI

Compile dot patterns #277

Sign in to view logs

Compile dot patterns

Compile dot patterns #277

Typecheck with Agda with nix (base-lib)

Typecheck with Agda with nix (base-lib)
succeeded Nov 4, 2025 in 1m 9s