Test ocamlPackages.elpi: add 1.18.2 #656
proux01nix-action-8.17.yml
on: pull_request_target
coq
41s
HoTT
36s
LibHyps
34s
bbv
36s
coq-lsp
39s
coq-record-update
37s
coq-shell
35s
coqide
40s
coqutil
40s
dpdgraph
36s
high-school-geometry
35s
itauto
39s
metalib
36s
pocklington
39s
rewriter
38s
semantics
34s
serapi
35s
smtcoq
37s
graph-theory
4m 33s
mathcomp-altreals
1m 12s
coqeal
40s
mathcomp
36s
mathcomp-infotheo
7m 32s
mathcomp-analysis-stdlib
1m 14s