Skip to content
CI

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

Sign in to view logs

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

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

Annotations

1 error

Stack macOS  /  Build

Stack macOS / Build
failed Jan 15, 2025 in 6s