Skip to content
CI

[v8.20] Update OPAM and CI for 8.20 embedded serlib. #487

Sign in to view logs

[v8.20] Update OPAM and CI for 8.20 embedded serlib.

[v8.20] Update OPAM and CI for 8.20 embedded serlib. #487

Triggered via push August 29, 2024 17:46
@ejgallegoejgallego
pushed 0291cbc
v8.20
Status Failure
Total duration 9m 25s
Artifacts –

ci.yml

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

Annotations

4 errors
build (4.14.x, test, true)
Process completed with exit code 2.
build (4.13.x, test, coq.dev)
Process completed with exit code 2.
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.