Skip to content
CI (Coq)

(legacy) Let does not support Proof using (coq/coq#17576) #4243

Sign in to view logs

(legacy) Let does not support Proof using (coq/coq#17576)

(legacy) Let does not support Proof using (coq/coq#17576) #4243

Triggered via pull request November 6, 2023 15:17
@SkySkimmerSkySkimmer
opened #1699
SkySkimmer:letqed
Status Failure
Total duration 31m 51s
Artifacts –

coq.yml

on: pull_request
Matrix: build
check-all
4s
check-all
Fit to window
Zoom out
Zoom in

Annotations

3 errors
8.16.1
Process completed with exit code 2.
8.17.1
Process completed with exit code 2.
check-all
Process completed with exit code 1.