Skip to content
Ubuntu

Remove precomputation of name completions (unused) which is *very* slow #513

Sign in to view logs

Remove precomputation of name completions (unused) which is *very* slow

Remove precomputation of name completions (unused) which is *very* slow #513

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-idris2-with-api
14m 19s
build
3m 31s
17m 50s