Closed bddap closed 2 years ago
cd benches && ./bench.sh was failing previously. This pr gets it working again.
cd benches && ./bench.sh
cd benches && ./bench.sh
was failing previously. This pr gets it working again.