Skip to content
Back to pull request #363757

coq: making sure coq master and 9.0 compile #595224

Sign in to view logs

coq: making sure coq master and 9.0 compile

coq: making sure coq master and 9.0 compile #595224

Run time

Learn about OS pricing on GitHub Actions
Job Run time
label-pr
4s
4s