Skip to content
Agda

echo(image-factorization-prop): postulated-truncation consumer + Expl… #594

Sign in to view logs

echo(image-factorization-prop): postulated-truncation consumer + Expl…

echo(image-factorization-prop): postulated-truncation consumer + Expl… #594

Re-run triggered May 29, 2026 00:46
@hyperpolymathhyperpolymath
#153
session/epi-mono-consumer
Status Failure
Total duration 52s
Artifacts –

agda.yml

on: pull_request
check
48s
check
cold-check
47s
cold-check
Fit to window
Zoom out
Zoom in

Annotations

1 error
cold-check
Process completed with exit code 1.