Skip to content
Basic checks

Adapt to coq/coq#20275 (Printing Depth has effect at extern time) #131

Sign in to view logs

Adapt to coq/coq#20275 (Printing Depth has effect at extern time)

Adapt to coq/coq#20275 (Printing Depth has effect at extern time) #131

Run time

Learn about OS pricing on GitHub Actions
Job Run time
basic-checks
5s
5s