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

Triggered via pull request October 21, 2024 16:23

ejgallego

synchronize #865

we-will-rocq-you-pcoq

Status Success

Total duration 17m 55s

Artifacts 1

build.yml

on: pull_request

Matrix: Nix

Matrix: build

Produced during runtime

Name	Size
coq-lsp_worker and front-end	36.6 MB