Skip to content
CI

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

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

Triggered via pull request June 3, 2024 17:25
@ejgallegoejgallego
synchronize #409
serlib_merge
Status Failure
Total duration 15m 42s
Artifacts –

ci.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

4 errors
build (4.14.x, test, coq.dev)
Process completed with exit code 20.
build (4.13.x, test, coq.dev)
Process completed with exit code 20.
build (4.12.x, test, coq.dev)
Process completed with exit code 20.
build (4.14.x, test, true)
Process completed with exit code 20.