Skip to content
Agda

EchoImageFactorizationProp — (epi, mono) factorisation module-parameterised in TruncInterface #563

Sign in to view logs

EchoImageFactorizationProp — (epi, mono) factorisation module-parameterised in TruncInterface

EchoImageFactorizationProp — (epi, mono) factorisation module-parameterised in TruncInterface #563

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
6s
cold-check
9m 29s
9m 35s