tree d9797a0f0480fe7c16daf1a55d03e598fe0d2cb6
parent 9e8ddc169773c6c711988f92dad22da6150451d8
author Saheer Babu <saheer.babu@arm.com> 1739183539 +0000
committer Saheer Babu <saheer.babu@arm.com> 1739213872 +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: I0c73d0bb77cc0c81984a5b406a19f4103e66f5ca
Signed-off-by: Saheer Babu <saheer.babu@arm.com>