Skip to content
CI

Adapt to Coq PR #18445, that fixes an issue with multiple signatures of implicit arguments for notations #668

Sign in to view logs

Adapt to Coq PR #18445, that fixes an issue with multiple signatures of implicit arguments for notations

Adapt to Coq PR #18445, that fixes an issue with multiple signatures of implicit arguments for notations #668

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:dev)
10m 19s
build (coqorg/coq:8.18)
9m 11s
build (coqorg/coq:8.17)
9m 23s
build (coqorg/coq:8.16)
17m 15s
build (coqorg/coq:8.15)
18m 59s
build (coqorg/coq:8.14)
18m 47s
1h 23m 54s