[CI] Update configs

fpistm · fpistm · commit fb579427481c · 2019-09-24T17:54:05.000+02:00
Signed-off-by: Frederic Pillon &lt;frederic.pillon@st.com&gt;
diff --git a/CI/build/conf/cores_config.json b/CI/build/conf/cores_config.json
@@ -17,7 +17,7 @@
         {
           "pattern": "^((?!BareMinimum.ino).)*$",
           "applicable": false,
-          "boards": [ "DEMO_F030F4", "DEMO_F030F4_16M", "DEMO_F030F4_HSI" ]
+          "boards": [ "DEMO_F030F4", "DEMO_F030F4_16M", "DEMO_F030F4_HSI", "RHF76_052" ]
         },
         {
           "pattern": "DISCO_IOT_|M24SR64-Y|MX25R6435F",

Original file line number	Diff line number	Diff line change
`@@ -17,7 +17,7 @@`
`17`	`17`	`{`
`18`	`18`	`"pattern": "^((?!BareMinimum.ino).)*$",`
`19`	`19`	`"applicable": false,`
`20`		`- "boards": [ "DEMO_F030F4", "DEMO_F030F4_16M", "DEMO_F030F4_HSI" ]`
	`20`	`+ "boards": [ "DEMO_F030F4", "DEMO_F030F4_16M", "DEMO_F030F4_HSI", "RHF76_052" ]`
`21`	`21`	`},`
`22`	`22`	`{`
`23`	`23`	`"pattern": "DISCO_IOT_\|M24SR64-Y\|MX25R6435F",`