Skip to content
Yaffle

[ port idris-lang/Idris2#2863 ] Make some higher-order functions in prelude tc-inlined #123

Sign in to view logs

[ port idris-lang/Idris2#2863 ] Make some higher-order functions in prelude tc-inlined

[ port idris-lang/Idris2#2863 ] Make some higher-order functions in prelude tc-inlined #123

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ubuntu-build
15m 54s
15m 54s