File tree Expand file tree Collapse file tree 4 files changed +8
-6
lines changed
testsuite/tests/U204-026-arch-mix Expand file tree Collapse file tree 4 files changed +8
-6
lines changed Original file line number Diff line number Diff line change @@ -7,7 +7,6 @@ variables:
7
7
PACKAGE_BASE_NAME : gnatcoverage.tar.gz
8
8
PACKAGE_ABSOLUTE_NAME : $CI_PROJECT_DIR/$PACKAGE_BASE_NAME
9
9
GITLAB_REMOTE : " https://gitlab-ci-token:${CI_JOB_TOKEN}@${CI_SERVER_HOST}:${CI_SERVER_PORT}/"
10
- PIP_INDEX_URL : " https://gitlab-ci-token:${CI_JOB_TOKEN}@gitlab.adacore-it.com/api/v4/projects/202/packages/pypi/simple"
11
10
12
11
include :
13
12
# TODO: workaround to allow dynamically setting the interruptible policy until https://gitlab.com/gitlab-org/gitlab/-/issues/194023 is implemented
Original file line number Diff line number Diff line change @@ -342,9 +342,7 @@ def current_gitbranch_at(dirname):
342
342
sphinx_target_for = {"html" : "html" , "pdf" : "latexpdf" }
343
343
344
344
# The master GIT repo where our source artifacts reside
345
- GIT_MASTER = (
346
- "git@ssh.gitlab.adacore-it.com:eng/das/cov/gnatcoverage-qualification.git"
347
- )
345
+ GIT_MASTER = os .environ .get ("GIT_MASTER" )
348
346
349
347
# The name of the subdir in the working directory where we'll fetch TOR
350
348
# artifacts from. This would be an image of a "gnatcoverage" repository, from
@@ -482,6 +480,11 @@ def git_update(self):
482
480
os .chdir (self .workdir )
483
481
484
482
gitref = self .o .gitsource if self .o .gitsource else GIT_MASTER
483
+ exit_if (
484
+ not gitref ,
485
+ "set the repository source either through the --git-source option"
486
+ " or through the GIT_MASTER environment variable" ,
487
+ )
485
488
486
489
announce ("cloning git repository from %s" % gitref )
487
490
Original file line number Diff line number Diff line change @@ -19,7 +19,7 @@ cd $cwd
19
19
cp -rf /tmp/U204-026-arch-mix/* .
20
20
21
21
# Then update the windows artifacts
22
- [ ! -d ' /tmp/iod-dev' ] && git clone git@ssh.gitlab.adacore-it.com :eng/shared/iod-dev /tmp/iod-dev
22
+ [ ! -d ' /tmp/iod-dev' ] && git clone git-adacore :eng/shared/iod-dev /tmp/iod-dev
23
23
/tmp/iod-dev/create-base.py --base-image x86_64-windows-2019
24
24
git_branch=$( git rev-parse --abbrev-ref HEAD)
25
25
sshpass ssh iod ' bash -s' < update_arch_mix_windows.sh $git_branch
Original file line number Diff line number Diff line change 9
9
10
10
# Create a sandbox
11
11
cd /Users/itmgr
12
- git clone git@ssh.gitlab.adacore-it.com :eng/cov/gnatcoverage
12
+ git clone git-adacore :eng/cov/gnatcoverage
13
13
anod init wave
14
14
15
15
# Checkout the right gnatcov branch
You can’t perform that action at this time.
0 commit comments