tree e1dde48ad1f9f94f7cc00806d758504d57e2cfa5
parent 11676a6d11a047f1e9c57c44592221d0fd26395e
author Saheer Babu <saheer.babu@arm.com> 1739197974 +0000
committer Arthur She <arthur.she@linaro.org> 1739251716 +0100

Set CI environment for OpenCI migration

While migration, JENKINS_PUBLIC_URL will be set to
jenkins.openci.arm.com. Hence, add condition to
set necessary environment.

Change-Id: I831bbb58a141e3d8519915d13127a6b3163b7a43
Signed-off-by: Saheer Babu <saheer.babu@arm.com>