From 2029fbb2bf54db3b546dd3cde62f2826d71e4ae2 Mon Sep 17 00:00:00 2001 From: Levi Schoen Date: Wed, 5 Apr 2023 14:56:13 -0700 Subject: [PATCH] support specifying custom rocksb version per github action --- .github/scripts/install-rocksdb.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/scripts/install-rocksdb.sh b/.github/scripts/install-rocksdb.sh index a53eed00..9661f441 100755 --- a/.github/scripts/install-rocksdb.sh +++ b/.github/scripts/install-rocksdb.sh @@ -9,7 +9,7 @@ git clone https://github.com/facebook/rocksdb.git /home/runner/rocksdb cd /home/runner/rocksdb -git checkout v7.9.2 +git checkout "$ROCKSDB_VERSION" # install rocksdb locally sudo make -j $(nproc --all) install-shared