[server + bench] Now start the batch maker, and integrate into bench#1154
Merged
gdanezis merged 3 commits intomainfrom start-batch-serverMar 31, 2022
Commits
Commits on Mar 30, 2022
- committedGeorge Danezis
- committedGeorge Danezis
- committedGeorge Danezis