Skip to content
CI build

Add a more "proper" entrypoint with fuller parser (#170) #221

Sign in to view logs

Add a more "proper" entrypoint with fuller parser (#170)

Add a more "proper" entrypoint with fuller parser (#170) #221

Run time

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