Merge pull request #272 from proux01/parsec_020 #628
nix-action-8.17.yml
on: push
coq
34s
HoTT
1m 33s
LibHyps
34s
bbv
34s
coq-lsp
1m 30s
coq-record-update
34s
coq-shell
38s
coqide
37s
dpdgraph
1m 27s
high-school-geometry
52s
itauto
34s
metalib
33s
pocklington
49s
rewriter
35s
semantics
1m 47s
serapi
34s
smtcoq
36s
graph-theory
38s