Re: [jdt-ui-dev] gerrit?

[Jonah Graham <jonah@xxxxxxxxxxxxxxxx>]

Has jdt recentlyish been updated to Jenkins? Since the upgrade cdt has been having occasional non starts of gerrit jobs: https://bugs.eclipse.org/bugs/show_bug.cgi?id=530594 

To manually trigger you can adapt this url for jdt: https://ci.eclipse.org/cdt/gerrit_manual_trigger/

On 3 Feb 2018 14:20, "Stephan Herrmann" <stephan.herrmann@xxxxxxxxx> wrote:

Has anybody put JDT/UI's gerrit job to sleep?

It hasn't been listening to any recent changes, like

https://git.eclipse.org/r/116535
https://git.eclipse.org/r/116660

Last job ran on Jan 31.

Job #305 was my clumsy attempt to trigger it manually,
but without an initial trigger, there's nothing to retrigger,
and I found no way to tell Jenkins about a particular change.

Stephan
_______________________________________________
jdt-ui-dev mailing list
jdt-ui-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/jdt-ui-dev