Fix coq-lsp/serapi #680
vbglnix-action-8.17.yml
on: pull_request_target
coq
4m 21s
HoTT
2m 37s
LibHyps
1m 11s
bbv
1m 4s
coq-lsp
1m 32s
coq-record-update
1m 4s
coq-shell
56s
coqide
1m 27s
coqutil
1m 26s
dpdgraph
1m 7s
high-school-geometry
2m 16s
itauto
2m 13s
metalib
1m 8s
pocklington
1m 10s
rewriter
6m 16s
semantics
1m 17s
serapi
1m 38s
smtcoq
1m 45s
mathcomp-word
4m 54s
addition-chains
5m 27s
gaia
7m 12s
http
1m 23s
graph-theory
16m 38s
mathcomp-experimental-reals
1m 14s
coqeal
3m 32s
mathcomp
1m 33s
mathcomp-infotheo
25m 40s
mathcomp-analysis-stdlib
19m 1s