coq-lsp: 0.1.9 -> 0.2.0 #903718
Triggered via pull request
August 31, 2024 23:27
ofborg[bot]
ofborg[bot]
labeled
#338692
Status
Skipped
Total duration
1s
Artifacts
–
backport.yml
on: pull_request_target
Backport Pull Request
0s