Skip to content
CI

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

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

Annotations

1 error

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

build (4.11.x, test, coq.dev)
failed May 9, 2024 in 7m 26s