diff options
| -rwxr-xr-x | .gitlab/circle-ci-job.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab/circle-ci-job.sh b/.gitlab/circle-ci-job.sh index 89939e2aa4..c8f1619637 100755 --- a/.gitlab/circle-ci-job.sh +++ b/.gitlab/circle-ci-job.sh @@ -33,7 +33,7 @@ GHCCI_URL="localhost:8888" [ ${CI_PIPELINE_ID:-} ] || (echo "CI_PIPELINE_ID is not set"; exit 1) # the first argument to this script is the Circle CI job type: # validate-x86_64-linux, validate-i386-linux, ... -CIRCLE_JOB="$1" +CIRCLE_JOB="circleci-$1" echo "Job type: $CIRCLE_JOB" gitlab_user=$(echo $CI_REPOSITORY_URL | cut -d/ -f4) |