diff options
| author | Alp Mestanogullari <alpmestan@gmail.com> | 2018-12-22 17:13:59 +0100 |
|---|---|---|
| committer | Alp Mestanogullari <alpmestan@gmail.com> | 2018-12-22 17:13:59 +0100 |
| commit | 881e23efc440105ef571f9e5b6071268db1fb83c (patch) | |
| tree | 5da118d09afdec67dcfe87db88bc2a9eacf017b5 | |
| parent | cdba63aad2d573f1d509883b886fa939c95869f7 (diff) | |
| download | haskell-alp/circleci/debug.tar.gz | |
| -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) |