Skip to content
CI

[v8.20] CI Fixup #492

Sign in to view logs

[v8.20] CI Fixup

[v8.20] CI Fixup #492

Triggered via push August 29, 2024 18:35
@ejgallegoejgallego
pushed 82717aa
v8.20
Status Failure
Total duration 10m 48s
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.12.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.14.x, test, true)
Process completed with exit code 2.