Skip to content
Agda

echo-types: Pillar E started — TYPES abstract + living full-paper draft #310

Sign in to view logs

echo-types: Pillar E started — TYPES abstract + living full-paper draft

echo-types: Pillar E started — TYPES abstract + living full-paper draft #310

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
1m 38s
1m 38s