Skip to content
Test coverage

Coq: correct corner case with implicit args in recursive calls #949

Sign in to view logs

Coq: correct corner case with implicit args in recursive calls

Coq: correct corner case with implicit args in recursive calls #949

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (4.08.1, ubuntu-latest)
12m 5s
12m 5s