Skip to content
CI (Coq)

Adapt to Coq/Coq#18164 (#103) #212

Sign in to view logs

Adapt to Coq/Coq#18164 (#103)

Adapt to Coq/Coq#18164 (#103) #212

Triggered via push December 1, 2023 19:44
@JasonGrossJasonGross
pushed 3c2a1df
master
Status Failure
Total duration 4m 15s
Artifacts –

coq.yml

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

Annotations

11 errors
8.13.2 (fiat-core parsers)
Process completed with exit code 2.
v8.13 (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.11 (fiat-core parsers)
Process completed with exit code 2.
8.12.2 (fiat-core parsers)
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.
check-all
Process completed with exit code 1.