Skip to content
CI

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

Sign in to view logs

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

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

Annotations

1 warning

Stack Linux  /  Build

Stack Linux / Build
succeeded Jan 15, 2025 in 47s