Skip to main content
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [nebula-dev] Build problems.
That worked Jonah! Thanks.

On Thu, Nov 1, 2018 at 2:02 PM Jonah Graham <jonah@xxxxxxxxxxxxxxxx> wrote:
Hi Wim,

Ask for a rebuild with "retest this please" comment in GitHub. There are some other things you can ask, see https://wiki.eclipse.org/Nebula/Contributions#Building_on_our_build_server

Jenkins polls every 5 minutes (IIRC) for new comments. 

HTH, 
Jonah 

On Thu, 1 Nov 2018, 13:30 Wim Jongman <wim.jongman@xxxxxxxxx wrote:

On Thu, Nov 1, 2018 at 11:11 AM Wim Jongman <wim.jongman@xxxxxxxxx> wrote:
There is, there is a rebuild last option available when logged in.

Sorry for the spam.

It would be nice if we could retrigger that from github.


On Thu, Nov 1, 2018 at 11:08 AM Wim Jongman <wim.jongman@xxxxxxxxx> wrote:
Dear Relengs,

When the build fails for a PR in github for some external reason, is there a way to retrigger the build like we can do with Gerrit?

Cheers,

Wim


for this PR

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

Back to the top