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

Triggered via push February 16, 2025 21:15

ejgallego

v8.20

Status Success

Total duration 18m 48s

Artifacts 1

build.yml

on: push

Matrix: build

Produced during runtime

Name	Size
coq-lsp_worker and front-end	38 MB