tree 4c72251af1febd683f7a51680d1580215f48045d
parent 57047c3949447b57cba435ed79ecfd62eb793306
author Marc Kupietz <kupietz@ids-mannheim.de> 1785457274 +0900
committer Marc Kupietz <kupietz@ids-mannheim.de> 1785457274 +0900

CI: use the rocksdb package instead of building it

With the version pin gone the rocksdb of the distribution can be installed as
a package, which removes the rocksdb build, its cache and its artifacts from
the pipeline. Verified with librocksdb-dev 7.8.3 of the gcc image: builds
without warnings and ctest passes.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Change-Id: Ibd752052d0da5eb3344157dbede32961c964c40f