tree fd87e7967f06a3c95a5e438e1aa8523df25cf189
parent bc61db770d001a02a824423ed0cbbc8cd8e8480d
author Saheer Babu <saheer.babu@arm.com> 1739197974 +0000
committer Saheer Babu <saheer.babu@arm.com> 1739215048 +0000

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>