Skip to content
Back to pull request #122

Adapt to Coq PR #17987 which adds sigma to the API of search functions #81

Sign in to view logs

Adapt to Coq PR #17987 which adds sigma to the API of search functions

Adapt to Coq PR #17987 which adds sigma to the API of search functions #81

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:dev)
2m 20s
2m 20s