Skip to content
CI build

working on completeness rules for subtyping (#130) #89

Sign in to view logs

working on completeness rules for subtyping (#130)

working on completeness rules for subtyping (#130) #89

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Completeness of _CoqProject
3s
Continuous Intergration
2m 58s
3m 1s