Skip to content

Update coq-lsp version to 0.2.4 in devcontainer

78dc04d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Update coq-lsp version in Developer instructions #230

Update coq-lsp version to 0.2.4 in devcontainer
78dc04d
Select commit
Loading
Failed to load commit list.
build
succeeded Mar 10, 2026 in 3m 13s