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

Triggered via pull request March 5, 2025 13:07
@SkySkimmerSkySkimmer
synchronize #117
SkySkimmer:constrextern-max-depth
Status Success
Total duration 11s
Artifacts –

basic-checks.yml

on: pull_request
basic-checks
5s
basic-checks
Fit to window
Zoom out
Zoom in