Skip to content
CI (Coq)

Moving at level 10 notations which were originally at level 200 #4240

Sign in to view logs

Moving at level 10 notations which were originally at level 200

Moving at level 10 notations which were originally at level 200 #4240

Triggered via pull request November 1, 2023 03:05
@JasonGrossJasonGross
synchronize #1695
herbelin:master+adapt-coq-pr18014-binder_constr_new_level
Status Failure
Total duration 1h 23m 9s
Artifacts –

coq.yml

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