Skip to content
CI

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

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. #447

Annotations

1 error

build (4.13.x, test, coq.dev)

build (4.13.x, test, coq.dev)
failed May 9, 2024 in 9m 6s