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",