Name the mixnet proxy component for the mixnet - #1293

Open

zancas wants to merge 3 commits into

devfrom

mixnet_proxy_rename

Commits on Aug 21, 2026

docs(adr): record that the proxy component is named for the mixnet

zancas
and
claude
committed
4360204
refactor!: name the mixnet proxy component for the mixnet

zancas
and
claude
committed
3ecdf8b
fix(ci): finish the rename inside .github

zancas
and
claude
committed
ab3478b