coqPackages.coq-lsp: 0.2.0 -> 0.2.2 #937704
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
0s