Skip to content
CI

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

Sign in to view logs

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

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

Stack Linux  /  Test

Stack Linux / Test
succeeded Feb 19, 2025 in 3m 39s