Merge pull request #281 from proux01/elpi_1_18_2 #657
proux01nix-action-8.17.yml
on: push
coq
38s
HoTT
38s
LibHyps
33s
bbv
34s
coq-lsp
37s
coq-record-update
37s
coq-shell
35s
coqide
39s
coqutil
33s
dpdgraph
38s
high-school-geometry
34s
itauto
34s
metalib
38s
pocklington
34s
rewriter
33s
semantics
38s
serapi
36s
smtcoq
39s
graph-theory
4m 36s
mathcomp-altreals
38s
coqeal
34s
mathcomp
36s
mathcomp-infotheo
7m 37s
mathcomp-analysis-stdlib
34s