Skip to content
Docker CI

Hom instances for the rest of ctx (but mayb unreasonable assptions) #44

Sign in to view logs

Hom instances for the rest of ctx (but mayb unreasonable assptions)

Hom instances for the rest of ctx (but mayb unreasonable assptions) #44

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:8.17)
7m 28s
7m 28s