[coq] Adapt to coq/coq#19736 · ejgallego/coq-lsp@ed432e9

Triggered via pull request October 21, 2024 15:38

ejgallego

opened #865

we-will-rocq-you-pcoq

Status Failure

Total duration 17m 23s

Artifacts 1

build.yml

on: pull_request

Matrix: Nix

Matrix: build

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
coq-lsp_worker and front-end	36.6 MB