diff --git a/jenkins/ci.jpl b/jenkins/ci.jpl
index 66e0b96..0306824 100644
--- a/jenkins/ci.jpl
+++ b/jenkins/ci.jpl
@@ -22,7 +22,7 @@
                "arm/musca_b1/secure_enclave":   "MUSCA_B1_SE",
                "arm/musca_s1":                  "MUSCA_S1",
                "stm/stm32l562e_dk":             "stm32l562e_dk",
-               "arm/diphda":                    "DIPHDA",
+               "arm/corstone1000":              "corstone1000",
                "nxp/lpcxpresso55s69":           "lpcxpresso55s69"]
 
 mapCompiler = ["toolchain_GNUARM.cmake":   "GNUARM",