Add json output #1

Merged
portelli merged 3 commits from simon.buerger/lattice-benchmarks:main into main 2023-01-27 12:28:30 +00:00

3 Commits