| commit | dd9d812a4c5580fddc5103f74d825e7159f7a49a | [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 19:17:28 2025 +0000 |
| tree | fd87e7967f06a3c95a5e438e1aa8523df25cf189 | |
| parent | bc61db770d001a02a824423ed0cbbc8cd8e8480d [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>