tree 529139ca01cb0ac4f5af09d925f2cc68783ea015
parent c2c686616aa569e8b18ab6f02da4e6bae08a43ac
author Marc Kupietz <kupietz@ids-mannheim.de> 1649843446 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1649843446 +0200

ci: try to cache rocksdb

Change-Id: I27d2ed8249e4df2b9b6a275dd988d22a6ccab1aa