Skip to content
Agda

proof(cubical): discharge (epi,mono) truncation axiom via real ∥_∥ HIT #740

Sign in to view logs

proof(cubical): discharge (epi,mono) truncation axiom via real ∥_∥ HIT

proof(cubical): discharge (epi,mono) truncation axiom via real ∥_∥ HIT #740

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
10m 51s
check
1m 45s
12m 36s