Skip to content

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

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

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

Triggered via pull request May 29, 2026 00:32
Status Failure
Total duration 1m 1s
Artifacts

agda.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 errors
cold-check
Process completed with exit code 1.
check
Process completed with exit code 1.