Merge branch 'v8.18' into v8.17 · ejgallego/coq-lsp@ce72a62

Triggered via push September 29, 2024 20:06

ejgallego

v8.17

Status Success

Total duration 32m 49s

Artifacts 1

build.yml

on: push

Matrix: build

Produced during runtime

Name	Size
coq-lsp_worker and front-end	42.5 MB