Skip to content
CI (Coq)

Adapt to Coq/Coq#18164 #211

Sign in to view logs

Adapt to Coq/Coq#18164

Adapt to Coq/Coq#18164 #211

Triggered via pull request December 1, 2023 18:35
@JasonGrossJasonGross
synchronize #103
Villetaneuse:rm_arith_files
Status Failure
Total duration 4m 35s
Artifacts –

coq.yml

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

Annotations

11 errors
v8.13 (fiat-core parsers)
Process completed with exit code 2.
8.13.2 (fiat-core parsers)
Process completed with exit code 2.
8.15.0 (fiat-core parsers querystructures)
Process completed with exit code 2.
8.11.2 (fiat-core parsers)
Process completed with exit code 2.
8.14.1 (fiat-core parsers querystructures)
Process completed with exit code 2.
v8.15 (fiat-core parsers querystructures)
Process completed with exit code 2.
v8.14 (fiat-core parsers querystructures)
Process completed with exit code 2.
v8.12 (fiat-core parsers)
Process completed with exit code 2.
8.12.2 (fiat-core parsers)
Process completed with exit code 2.
v8.11 (fiat-core parsers)
Process completed with exit code 2.
check-all
Process completed with exit code 1.