Nice presentation of plugins in updatePlugins.xml

This commit is contained in:
Fedor Isakov 2021-06-21 19:12:47 +02:00
parent 9ea7ae2067
commit f3bc89aef7
1 changed files with 8 additions and 4 deletions

View File

@ -119,12 +119,16 @@ task generateUpdatePluginsXml {
plugins {
plugin( id: "jetbrains.mps.coderules" ,
url: baseUrl + "/$System.env.BUILD_NUMBER" + zip1 ,
version: "${version}" )
{ }
version: "${version}" ) {
name { "MPS Coderules Typechecking" }
description { "Typechecking with Coderules (experimental)" }
}
plugin( id: "jetbrains.mps.core.types" ,
url: baseUrl + "/$System.env.BUILD_NUMBER" + zip2 ,
version: "${version}" )
{ }
version: "${version}" ) {
name { "MPS Core Types" }
description { "Types for core MPS languages (experimental)" }
}
}
}
}