fix CI (qdrant#181)

KShivendu · web-flow · commit d14e6e819c0f · 2024-08-07T21:21:01.000+05:30
diff --git a/tools/run_ci.sh b/tools/run_ci.sh
@@ -13,7 +13,7 @@ function handle_term() {
   echo "failed=timeout" >> $GITHUB_OUTPUT
 }
 
-trap 'handle_err' ERR INT EXIT
+trap 'handle_err' ERR
 trap 'handle_term' TERM
 
 # Script, that runs benchmark within the GitHub Actions CI environment

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@ function handle_term() {`
`13`	`13`	`echo "failed=timeout" >> $GITHUB_OUTPUT`
`14`	`14`	`}`
`15`	`15`
`16`		`-trap 'handle_err' ERR INT EXIT`
	`16`	`+trap 'handle_err' ERR`
`17`	`17`	`trap 'handle_term' TERM`
`18`	`18`
`19`	`19`	`# Script, that runs benchmark within the GitHub Actions CI environment`