| commit | 3108a5d81053a959d6c60b8c9ab2016918126a8e | [log] [tgz] |
|---|---|---|
| author | Saheer Babu <saheer.babu@arm.com> | Mon Feb 10 14:32:54 2025 +0000 |
| committer | Saheer Babu <saheer.babu@arm.com> | Mon Feb 10 14:33:09 2025 +0000 |
| tree | c8a75e7b6e0a0f22e003f27af973b2c695350c63 | |
| parent | c6f4ae2a670f266b2420200096805be0b02c3987 [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: I831bbb58a141e3d8519915d13127a6b3163b7a43 Signed-off-by: Saheer Babu <saheer.babu@arm.com>