Merge pull request #272 from proux01/parsec_020 #701
proux01nix-action-8.16.yml
on: push
coq
34s
HoTT
34s
bbv
44s
coq-record-update
33s
coq-shell
2m 28s
coqide
36s
dpdgraph
2m 33s
high-school-geometry
1m 3s
itauto
1m 26s
metalib
35s
semantics
33s
smtcoq
1m 17s
tlc
1m 8s
category-theory
2m 12s
gappalib
34s
trakt
3m 37s
coq-hammer
1m 30s
coq-lsp
56s
relation-algebra
35s
topology
34s
mathcomp-tarjan
1m 49s
extructures
34s
interval
51s
corn
34s
vcfloat
1m 54s
Verdi
35s
goedel
36s
iris-named-props
48s
VST
1m 38s
metacoq
37s
mathcomp-apery
34s