Skip to content

[ fix ] ignore non-.idr files when generating katla docs #2000

[ fix ] ignore non-.idr files when generating katla docs

[ fix ] ignore non-.idr files when generating katla docs #2000

Annotations

1 warning

Build pack with Idris2 latest

succeeded Jan 14, 2025 in 38s