bug: Duplicate lines in nightly.yml and pull_reqests.yml

[zzzz-vincent]

Have you read the Contributing Guidelines on issues?

• I have read the Contributing Guidelines on issues.

Please confirm if bug report does NOT exists already ?

• I confirm there is no existing issue for this

Describe the problem

Several line seems duplicated in git workflow code:

stonedb/.github/workflows/nightly.yml

Lines 55 to 59 in 7484c58

	-DDOWNLOAD_ROCKSDB=0 \
	-DWITH_ROCKSDB=/usr/local/stonedb-gcc-rocksdb/ \
	-DWITH_MARISA=/usr/local/stonedb-marisa/ \
	-DDOWNLOAD_ROCKSDB=0 \
	-DWITH_ROCKSDB=/usr/local/stonedb-gcc-rocksdb && make -j`nproc` && make -j`nproc` install

stonedb/.github/workflows/pull_requests.yml

Lines 121 to 125 in 7484c58

	-DDOWNLOAD_ROCKSDB=0 \
	-DWITH_ROCKSDB=/usr/local/stonedb-gcc-rocksdb/ \
	-DWITH_MARISA=/usr/local/stonedb-marisa/ \
	-DDOWNLOAD_ROCKSDB=0 \
	-DWITH_ROCKSDB=/usr/local/stonedb-gcc-rocksdb -DENABLE_GCOV=1 && make -j`nproc` && make -j`nproc` install

Expected behavior

Just to confirm: simply remove these lines should be fine

How To Reproduce

No response

Environment

No response

Are you interested in submitting a PR to solve the problem?

• Yes, I will!