Commit 8dcbb660 authored by Miguel Angel Reina Ortega's avatar Miguel Angel Reina Ortega Committed by Giacomo Bernini
Browse files


Signed-off-by: Miguel Angel Reina Ortega's avatarreinaortega <>
parent a4df71d3
......@@ -9,15 +9,10 @@ cd "$(dirname "$0")"
echo "Using git branch $BRANCH_NAME"
echo "Using git branch env.BRANCH_NAME"
echo env.BRANCH_NAME
echo "Using git branch $GIT_BRANCH"
echo "Using git branch 'env.GIT_BRANCH'"
echo 'env.GIT_BRANCH'
bash ./scripts/
bash ./scripts/ "${run_dir}" "$BRANCH_NAME"
bash ./scripts/ "${run_dir}" "$GIT_BRANCH"
echo "Final validation result: $ret"
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment