Skip to content

[v8.20] [serlib] Embed serlib and remove dependency on coq-lsp. #484

[v8.20] [serlib] Embed serlib and remove dependency on coq-lsp.

[v8.20] [serlib] Embed serlib and remove dependency on coq-lsp. #484

Triggered via push August 29, 2024 17:41
Status Failure
Total duration 7m 31s
Artifacts

ci.yml

on: push
Matrix: build

Annotations

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