Merge branch 'v8.20' into v8.19 · ejgallego/coq-lsp@1e7c04d

Triggered via push October 4, 2024 21:20

ejgallego

v8.19

Status Success

Total duration 18m 52s

Artifacts 1

build.yml

on: push

Matrix: build

Produced during runtime

Name	Size
coq-lsp_worker and front-end Expired	41.4 MB