Merge pull request #272 from proux01/parsec_020 #500
nix-action-8.18.yml
on: push
coq
34s
HoTT
34s
LibHyps
39s
aac-tactics
35s
bbv
34s
coq-lsp
36s
coq-record-update
35s
coq-shell
33s
coqide
35s
dpdgraph
34s
high-school-geometry
32s
itauto
2m 12s
metalib
35s
pocklington
1m 4s
rewriter
35s
semantics
2m 26s
serapi
34s
smtcoq
34s
vscoq-language-server
2m 14s
waterproof
39s
Verdi
36s
mathcomp-tarjan
34s
interval
2m 28s
graph-theory
36s
ssprove
9m 8s
mathcomp-infotheo
6m 18s
coqeal
34s
mathcomp
34s