Merge pull request #337 from vbgl/gappalib-1.7.0 #729
proux01nix-action-8.19.yml
on: push
coq
39s
HoTT
38s
LibHyps
42s
autosubst-ocaml
1m 14s
coq-lsp
38s
coq-record-update
41s
coq-shell
38s
coq-tactical
38s
coqide
40s
coqutil
1m 38s
dpdgraph
38s
high-school-geometry
43s
serapi
39s
vscoq-language-server
42s
zorns-lemma
43s
InfSeqExt
43s
bbv
1m 20s
coinduction
37s
itauto
38s
rewriter
6m 11s
smtcoq
39s
mtac2
41s
corn
42s
iris-named-props
38s
VST
39s
relation-algebra
41s
mathcomp-tarjan
1m 44s
graph-theory
4m 40s
jasmin
41s
coqeal
3m 38s
ssprove
41s
odd-order
42s
mathcomp-infotheo
7m 44s