Skip to content
CI (Coq, docker, dev)

Adapt to Coq's PR #18445 fixing inheritance of multiple signatures of implicit arguments in notations #889

Sign in to view logs

Adapt to Coq's PR #18445 fixing inheritance of multiple signatures of implicit arguments in notations

Adapt to Coq's PR #18445 fixing inheritance of multiple signatures of implicit arguments in notations #889

Run time

Learn about OS pricing on GitHub Actions
Job Run time
master
35m 47s
35m 47s