Build

Update coq-lsp version in Developer instructions #785

Sign in to view logs

Triggered via push March 10, 2026 09:25

update-coq-lsp-version-numbers

Status Success

Total duration 3m 26s

Artifacts –

build.yml

on: push