ci: try to cache rocksdb
Change-Id: I27d2ed8249e4df2b9b6a275dd988d22a6ccab1aa
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 832365e..c3b7f56 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -2,6 +2,10 @@
build-and-test:
stage: build
+ cache:
+ - key: one-key-to-rule-them-all
+ paths:
+ - rocksdb-5.11.3/
before_script:
- pwd
- source `find .. -name section_helper.sh`
@@ -14,7 +18,7 @@
- start_section install_rocksdb_static "Building and installing rocksdb-static"
- curl -L https://github.com/facebook/rocksdb/archive/refs/tags/v5.11.3.tar.gz | tar zx
- cd rocksdb-5.11.3
- - export PROCS=$(cat /proc/cpuinfo | grep -c processor)
+ - export PROCS=$(nproc)
- make -j $PROCS static_lib DISABLE_WARNING_AS_ERROR=1 WARNING_FLAGS=-w
- make install-static DISABLE_WARNING_AS_ERROR=1 WARNING_FLAGS=-w
- end_section install_rocksdb_static