[virgo-dev] The Virgo HIPP has been migrated to Jenkins

[Florian Waibel <fwaibel@xxxxxxxxxxxxxxxxx>]

Just a heads up:

The Virgo HIPP has been migrated to Jenkins:

=> https://ci.eclipse.org/virgo

Please note, that even though this is a best effort migration, some settings and configurations might be lost because Hudson and Jenkins (and their respective plugins) are not 100% compatible.

Therefore, please check if all build jobs still work as expected, anything is missing, etc. You can compare the job configurations on the JIPP with your old job configurations here (read-only):

=> https://ci.eclipse.org/migration2/view/virgo/

For more details see https://bugs.eclipse.org/bugs/show_bug.cgi?id=530928