Fix deprecation warning about mapAttrsFlatten #534
nix-action-8.17.yml
on: pull_request_target
coq
0s
HoTT
0s
LibHyps
0s
coq-record-update
0s
coq-shell
0s
coqide
0s
dpdgraph
0s
high-school-geometry
0s
itauto
0s
metalib
0s
pocklington
0s
semantics
0s
smtcoq
0s
gappalib
0s
trakt
0s
coq-hammer
0s
coq-lsp
0s
parsec
0s
topology
0s
relation-algebra
0s
Verdi
0s
QuickChick
0s
category-theory
0s
graph-theory
0s