Fix coq-lsp/serapi #682
vbglnix-action-8.17.yml
on: pull_request_target
coq
36s
HoTT
35s
LibHyps
37s
bbv
40s
coq-lsp
40s
coq-record-update
36s
coq-shell
39s
coqide
36s
coqutil
35s
dpdgraph
39s
high-school-geometry
35s
itauto
36s
metalib
35s
pocklington
39s
rewriter
40s
semantics
35s
serapi
35s
smtcoq
38s
graph-theory
35s
mathcomp-experimental-reals
36s
coqeal
3m 33s
mathcomp
1m 30s
mathcomp-infotheo
7m 31s
mathcomp-analysis-stdlib
34s