Merge branch 'v8.20' into v8.19 · ejgallego/coq-lsp@1685e18

Triggered via push September 29, 2024 20:06

ejgallego

v8.19

Status Success

Total duration 25m 16s

Artifacts 1

build.yml

on: push

Matrix: build

Produced during runtime

Name	Size
coq-lsp_worker and front-end	41.4 MB