Skip to content
Agda

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
54s
check
56s
1m 50s