Skip to content
CI

Set ft=markdown.agda for *.lagda.md #165

Sign in to view logs

Set ft=markdown.agda for *.lagda.md

Set ft=markdown.agda for *.lagda.md #165

Nix Linux  /  Build package (ghc92)

Nix Linux / Build package (ghc92)
succeeded Jan 15, 2025 in 4m 11s