Skip to content
Agda

bridges(janus): mirror canonical Idris2 OpKind (8-variant) in EchoJanusBridge #401

Sign in to view logs

bridges(janus): mirror canonical Idris2 OpKind (8-variant) in EchoJanusBridge

bridges(janus): mirror canonical Idris2 OpKind (8-variant) in EchoJanusBridge #401

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
18m 20s
check
18m 20s
36m 40s