elpi refactoring #673
vbglnix-action-8.16.yml
on: pull_request_target
coq
35s
HoTT
37s
bbv
34s
coq-record-update
34s
coq-shell
34s
coqide
37s
dpdgraph
37s
high-school-geometry
38s
itauto
35s
metalib
37s
semantics
35s
smtcoq
37s
tlc
34s
category-theory
36s
gappalib
36s
trakt
39s
coq-hammer
36s
coq-lsp
39s
relation-algebra
38s
topology
34s
mathcomp-tarjan
35s
extructures
34s
interval
37s
corn
38s
vcfloat
35s
Verdi
34s
goedel
34s
iris-named-props
34s
VST
33s
metacoq
40s
mathcomp-apery
5m 31s