coqPackages.coq-lsp: 0.2.0 -> 0.2.2 #487
nix-action-8.18.yml
on: pull_request_target
coq
34s
HoTT
35s
LibHyps
34s
aac-tactics
37s
bbv
37s
coq-lsp
36s
coq-record-update
35s
coq-shell
34s
coqide
36s
dpdgraph
35s
high-school-geometry
33s
itauto
36s
metalib
34s
pocklington
33s
rewriter
33s
semantics
38s
serapi
33s
smtcoq
35s
vscoq-language-server
1m 19s
waterproof
34s
Verdi
34s
mathcomp-tarjan
39s
interval
36s
ElmExtraction
34s
graph-theory
34s