Skip to content
CI

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

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

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

build (4.13.x, test, coq.dev)
succeeded May 9, 2024 in 8m 54s