Skip to content
Build

[ upstream ] fix elab for WithFC #617

Sign in to view logs

[ upstream ] fix elab for WithFC

[ upstream ] fix elab for WithFC #617

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build the lib with Idris2 at PR state
5m 49s
Build the lib with Idris2 HEAD
21s
6m 10s