Closed punchagan closed 1 year ago
we don't currently run the irmin benchmarks
My suggestion is to leave a TODO
comment with the actual dependency name instead of removing it completely. When the ppxlib dependency is resolved, we will run the Irmin benchmarks again.
Thanks! LGTM.
gnuplot
was added as a dependecy as a part of the PR #343 since a library for running the Irmin benchmarks depended on it. But, we don't currently run theirmin
benchmarks and thegnuplot
dependency installs a whole bunch of X11 dependencies when setting up the OS for running the benchmarks. This makes the setup longer than it needs to be, as of now.