Closed faddat closed 9 months ago
This PR bumps RocksDB in the Dockerfile and should permit the merge of #119
Itr's also been updated to contain #119 for simplicity's sake, and so that we can see the results in CI.
Thanks @faddat ❤️
This PR bumps RocksDB in the Dockerfile and should permit the merge of #119
Itr's also been updated to contain #119 for simplicity's sake, and so that we can see the results in CI.