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

Annotations

1 error

This job failed