Skip to content
Back to pull request #11

Require coq-paco >= 4.2.1 rather than 4.1.2 #7

Sign in to view logs

Require coq-paco >= 4.2.1 rather than 4.1.2

Require coq-paco >= 4.2.1 rather than 4.1.2 #7

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (4.14.x, ubuntu-22.04)
7m 48s
7m 48s