Skip to content
CI

[serlib] Remove serlib and use coq-lsp serlib version instead. #469

Sign in to view logs

[serlib] Remove serlib and use coq-lsp serlib version instead.

[serlib] Remove serlib and use coq-lsp serlib version instead. #469

Triggered via pull request June 3, 2024 18:12
@ejgallegoejgallego
synchronize #409
serlib_merge
Status Failure
Total duration 14m 9s
Artifacts –

ci.yml

on: pull_request
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.