Skip to content
Agda

ordinal: ω-power infrastructure + 9-of-13 rank-mono primitives (#87) #482

Sign in to view logs

ordinal: ω-power infrastructure + 9-of-13 rank-mono primitives (#87)

ordinal: ω-power infrastructure + 9-of-13 rank-mono primitives (#87) #482

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
8m 18s
cold-check
8m 18s
flake-check
8m 18s
24m 54s