Merge pull request #251 from proux01/fix-deprecation #535
nix-action-8.17.yml
on: push
coq
37s
HoTT
35s
LibHyps
32s
coq-record-update
34s
coq-shell
34s
coqide
38s
dpdgraph
31s
high-school-geometry
36s
itauto
34s
metalib
33s
pocklington
34s
semantics
37s
smtcoq
34s
gappalib
31s
trakt
33s
coq-hammer
32s
coq-lsp
34s
parsec
33s
topology
34s
relation-algebra
33s
Verdi
34s
QuickChick
33s
category-theory
35s
metacoq
36s
mathcomp-word
34s
addition-chains
37s
gaia
33s
graph-theory
35s