Adapt to coq/coq#19834 (removal of Loadpath.has_ml field) · ejgallego/coq-lsp@707378d

Triggered via pull request November 15, 2024 15:26

ejgallego

synchronize #873

SkySkimmer:no-ml-cwd

Status Success

Total duration 17m 54s

Artifacts 1

build.yml

on: pull_request

Matrix: Nix

Matrix: build

Produced during runtime

Name	Size
coq-lsp_worker and front-end	36.7 MB