Skip to content
CI

[deps] Bump to Dune 2.9 as to support Coq's CI setup. #473

Sign in to view logs

[deps] Bump to Dune 2.9 as to support Coq's CI setup.

[deps] Bump to Dune 2.9 as to support Coq's CI setup. #473

Triggered via push June 5, 2024 18:15
@ejgallegoejgallego
pushed 451e9a3
main
Status Failure
Total duration 13m 41s
Artifacts –

ci.yml

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

Annotations

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