Skip to content
Agda

docs: Pillar E paper — Evaluation section (clears [EXPAND]) (#84) #450

Sign in to view logs

docs: Pillar E paper — Evaluation section (clears [EXPAND]) (#84)

docs: Pillar E paper — Evaluation section (clears [EXPAND]) (#84) #450

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
37s
cold-check
37s
flake-check
37s
1m 51s