coqPackages.coq-lsp: 0.2.0 -> 0.2.2 #937706

Sign in to view logs

Triggered via pull request October 4, 2024 23:51

ofborg[bot]

labeled #346538

Status Skipped

Total duration 2s

Artifacts –

backport.yml

on: pull_request_target

Backport Pull Request