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

Triggered via pull request May 28, 2026 08:23
@hyperpolymathhyperpolymath
synchronize #138
session/image-factorization-prop-module-param
Status Failure
Total duration 9m 49s
Artifacts –

agda.yml

on: pull_request
check
6s
check
cold-check
9m 29s
cold-check
Fit to window
Zoom out
Zoom in

Annotations

1 error
check
Process completed with exit code 1.