| commit | 734e6d6e815e8b08f07fe9e88a6a83c13758dca4 | [log] [tgz] |
|---|---|---|
| author | Saheer Babu <saheer.babu@arm.com> | Mon Feb 10 10:32:19 2025 +0000 |
| committer | Saheer Babu <saheer.babu@arm.com> | Mon Feb 10 19:57:52 2025 +0100 |
| tree | d9797a0f0480fe7c16daf1a55d03e598fe0d2cb6 | |
| parent | 9e8ddc169773c6c711988f92dad22da6150451d8 [diff] |
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>