Skip to content
CI build

Add a more "proper" entrypoint with fuller parser #215

Sign in to view logs

Add a more "proper" entrypoint with fuller parser

Add a more "proper" entrypoint with fuller parser #215

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Continuous Intergration
6m 16s
Completeness of _CoqProject
3s
6m 19s