Skip to content

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

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

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

Triggered via pull request May 9, 2024 13:31
Status Failure
Total duration 10m 41s
Artifacts

ci.yml

on: pull_request
Matrix: build

Annotations

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