Re: [jdt-ui-dev] gerrit?

[Stephan Herrmann <stephan.herrmann@xxxxxxxxx>]

We moved in November, and it seemed pretty reliable.

Thanks for the url for manual retrigger.
Now that you mention, I also see the corresponding link in
the *dashboard* (not the job page).

Result:
Triggered Builds
	116535,4
No jobs triggered for this event

Over to https://bugs.eclipse.org/527467#c17

Stephan

On 04.02.2018 12:03, Jonah Graham wrote:
> 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 <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 <mailto: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/116535>
>     https://git.eclipse.org/r/116660 <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 <mailto: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 <https://dev.eclipse.org/mailman/listinfo/jdt-ui-dev>
>
>
>
> _______________________________________________
> 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