support specifying custom rocksb version per github action

This commit is contained in:
Levi Schoen 2023-04-05 14:56:13 -07:00
parent c5404eda7f
commit 2029fbb2bf

View File

@ -9,7 +9,7 @@ git clone https://github.com/facebook/rocksdb.git /home/runner/rocksdb
cd /home/runner/rocksdb cd /home/runner/rocksdb
git checkout v7.9.2 git checkout "$ROCKSDB_VERSION"
# install rocksdb locally # install rocksdb locally
sudo make -j $(nproc --all) install-shared sudo make -j $(nproc --all) install-shared