Skip to content
CI (Coq)

Moving at level 10 notations which were originally at level 200. (#1695) #4242

Sign in to view logs

Moving at level 10 notations which were originally at level 200. (#1695)

Moving at level 10 notations which were originally at level 200. (#1695) #4242

Triggered via push November 1, 2023 04:27
@JasonGrossJasonGross
pushed 00658ba
sp2019latest
Status Failure
Total duration 37m 7s
Artifacts –

coq.yml

on: push
Matrix: build
check-all
0s
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.