Skip to content
CI build

finished semantic well-formedness of equality type (#271) #443

Sign in to view logs

finished semantic well-formedness of equality type (#271)

finished semantic well-formedness of equality type (#271) #443

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Continuous Intergration
8m 40s
Completeness of _CoqProject
3s
8m 43s