Commit a4df71d3 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 4f28f47e
......@@ -12,6 +12,9 @@ run_dir="$(pwd)"
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"
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