commit 8731a099c41e8f5fc04d422fb51bd20c81267a1e
author Bence Balogh <bence.balogh@arm.com> Tue May 24 17:24:54 2022 +0200
committer Bence Balogh <bence.balogh@arm.com> Wed May 25 10:42:08 2022 +0200
tree 9bc55024cb1269df921f491960f2da80116411a6
parent 697f955a8aba23283012de9c5f3079ae30cdafb7

Rename polaris to corstone310

The polaris platform was renamed so the path
and name had to be updated.

Change-Id: I1c4aea9ab6c4311459a661a88054e7b88df16122

jenkins/ci.jpl

diff --git a/jenkins/ci.jpl b/jenkins/ci.jpl
index 6a9eff5..62c814d 100644
--- a/jenkins/ci.jpl
+++ b/jenkins/ci.jpl
@@ -20,7 +20,7 @@
                "arm/mps3/an524":                "AN524",
                "arm/mps3/an547":                "AN547",
                "arm/mps3/an552":                "AN552",
-               "arm/mps3/corstone_polaris":     "corstone_polaris",
+               "arm/mps3/corstone310_fvp":      "corstone310",
                "arm/musca_b1/sse_200":          "MUSCA_B1",
                "arm/musca_b1/secure_enclave":   "MUSCA_B1_SE",
                "arm/musca_s1":                  "MUSCA_S1",