docs: remove RocksDB (#23212)

Co-authored-by: Marko <marko@baricevic.me>
This commit is contained in:
Robert Zaremba
2025-01-07 19:39:41 +00:00
committed by GitHub
co-authored by Marko
parent ead1b1c9df
commit b0031a103d
5 changed files with 12 additions and 25 deletions
-2
View File
@@ -14,8 +14,6 @@ DOCKER := $(shell which docker)
PROJECT_NAME = $(shell git remote get-url origin | xargs basename -s .git)
COSMOS_BUILD_OPTIONS += ' v2'
rocksdb_version=v9.7.3
ifeq ($(findstring .,$(VERSION)),)
VERSION := 0.0.0
endif
+2 -5
View File
@@ -2,13 +2,10 @@
set -e
REPO_ROOT="$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )/.." &> /dev/null && pwd )"
REPO_ROOT="$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")/.." &>/dev/null && pwd)"
export REPO_ROOT
LINT_TAGS="e2e,ledger,test_ledger_mock"
if [[ ! -z "${ROCKSDB:-}" ]]; then
LINT_TAGS+=",rocksdb"
fi
export LINT_TAGS
lint_module() {
@@ -53,4 +50,4 @@ else
echo "linting github.com/cosmos/cosmos-sdk [$(date -Iseconds -u)]"
golangci-lint run ./... -c "${REPO_ROOT}/.golangci.yml" "$@" --build-tags=${LINT_TAGS}
fi
fi
fi