[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
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