Exclude lint from ci-make.sh

Fedosin · Fedosin · commit 8c9cabfc27fa · 2023-06-14T14:15:24.000+02:00
We have a separate github action for linting, so running it again
is not necessary.
diff --git a/scripts/ci-make.sh b/scripts/ci-make.sh
@@ -20,4 +20,4 @@ set -o pipefail
 
 REPO_ROOT=$(dirname "${BASH_SOURCE[0]}")/..
 
-cd "${REPO_ROOT}" && make lint docker-build
+cd "${REPO_ROOT}" && make docker-build

Original file line number	Diff line number	Diff line change
`@@ -20,4 +20,4 @@ set -o pipefail`
`20`	`20`
`21`	`21`	`REPO_ROOT=$(dirname "${BASH_SOURCE[0]}")/..`
`22`	`22`
`23`		`-cd "${REPO_ROOT}" && make lint docker-build`
	`23`	`+cd "${REPO_ROOT}" && make docker-build`