refactor(prover): combine proxy and worker#1688
Merged
Mirko-von-Leipzig merged 22 commits intonextfrom Feb 20, 2026
Merged
Commits
Commits on Feb 18, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 19, 2026
Commits on Feb 20, 2026
- committed
- committed