Skip to content
Snippets Groups Projects
Status
Job
Pipeline
Coverage

Status for job #258044

Passed
#258044: build-coq.8.16.1
coq_14928
ffe12cff
#92095 created by API

Status for job #258043

Passed
#258043: build-coq.8.18.0-mr
coq_14928
ffe12cff
#92095 created by API

Status for job #256353

Passed
#256353: build-coq.8.16.1
re_1011
5baeddb1
#91718 created by API

Status for job #256352

Passed
#256352: build-coq.8.18.0-mr
re_1011
5baeddb1
#91718 created by API

Status for job #255313

Failed
#255313: build-coq.8.16.1
coq_18014
50db9b0a
#91461 created by API

Status for job #255312

Failed
#255312: build-coq.8.18.0-mr
coq_18014
50db9b0a
#91461 created by API

Status for job #220100

Passed
#220100: build-coq.8.14.1
coq_16788
8fc19c9d
#77893 created by API

Status for job #220099

Passed
#220099: build-coq.8.16.1-mr
coq_16788
8fc19c9d
#77893 created by API