Skip to content
nova

Inference for Elem: return the canonical type; Remove nova.ipkg; Fix … #10

Sign in to view logs

Inference for Elem: return the canonical type; Remove nova.ipkg; Fix …

Inference for Elem: return the canonical type; Remove nova.ipkg; Fix … #10

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-idris2-master-test-our-branch
1m 44s
1m 44s