Skip to content
Ubuntu

Hide fixities where they are ambiguous to silence Idris 2 v0.7.0 compiler warnings. #57

Sign in to view logs

Hide fixities where they are ambiguous to silence Idris 2 v0.7.0 compiler warnings.

Hide fixities where they are ambiguous to silence Idris 2 v0.7.0 compiler warnings. #57

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
7m 56s
7m 56s