Skip to content
CI

[v8.20] CI fixup #489

Sign in to view logs

[v8.20] CI fixup

[v8.20] CI fixup #489

Triggered via push August 29, 2024 17:59
@ejgallegoejgallego
pushed da00061
v8.20
Status Failure
Total duration 9m 58s
Artifacts –

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

4 errors
build (4.14.x, test, coq.dev)
Process completed with exit code 2.
build (4.13.x, test, coq.dev)
Process completed with exit code 2.
build (4.12.x, test, coq.dev)
Process completed with exit code 2.
build (4.14.x, test, true)
Process completed with exit code 2.