Skip to content
Build

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

Sign in to view logs

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

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

Annotations

1 warning

Bootstrap with the shell script and racket

Bootstrap with the shell script and racket
succeeded Jan 14, 2025 in 32m 1s