Merge branch 'main' into v8.20 · ejgallego/coq-lsp@597b36d

Triggered via push February 27, 2025 14:02

ejgallego

v8.20

Status Success

Total duration 13m 5s

Artifacts 1

build.yml

on: push

Matrix: build

Produced during runtime

Name	Size
coq-lsp_worker and front-end	38 MB