level db build fail

Fail to build LevelDB.
https://github.com/jingchen2222/hybridsql-asserts/runs/3120408910?check_suite_focus=true

```shell
+ '[' -f leveldb_succ ']'
+ tar zxf leveldb-1.20.tar.gz
+ pushd leveldb-1.20
~/work/hybridsql-asserts/hybridsql-asserts/src/leveldb-1.20 ~/work/hybridsql-asserts/hybridsql-asserts/src ~/work/hybridsql-asserts/hybridsql-asserts
++ nproc
+ make -j3 'OPT=-O2 -DNDEBUG -fPIC'
mkdir out-shared
c++ -O3 -fPIC -I. -I./include -std=c++0x -DOS_MACOSX -DLEVELDB_PLATFORM_POSIX -DLEVELDB_ATOMIC_PRESENT -O2 -DNDEBUG -fPIC -fPIC -c db/db_bench.cc -o out-shared/db/db_bench.o
mkdir out-static
mkdir out-shared/db
error: unable to open output file 'out-shared/db/db_bench.o': 'No such file or directory'
1 error generated.
make: *** [out-shared/db/db_bench.o] Error 1
make: *** Waiting for unfinished jobs....
Error: Process completed with exit code 2.
```

Retry building might success.
Maybe we can upgrade to higher version leveldb
https://github.com/google/leveldb/issues/556

The issue shows a LevelDB build failure in a CI run, with an error about being unable to open an output file. The linked GitHub issue suggests a known problem. Start by examining the build script in the repository, likely in the src directory, that extracts and compiles leveldb-1.20.tar.gz. Check if the directory 'out-shared/db' exists before compilation, and consider retrying or upgrading the LevelDB version as mentioned. Verify the fix by running the CI workflow locally or in a clean environment.

Vom Indexierungsmodell aus dem Issue-Text verfasst.