Re: [nebula-dev] Build problems.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Re: [nebula-dev] Build problems.

From: Wim Jongman <wim.jongman@xxxxxxxxx>
Date: Thu, 1 Nov 2018 11:11:15 +0100
Delivered-to: nebula-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/nebula-dev>
List-help: <mailto:nebula-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/nebula-dev>, <mailto:nebula-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/nebula-dev>, <mailto:nebula-dev-request@eclipse.org?subject=unsubscribe>

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

e.g. https://ci.eclipse.org/nebula/job/nebula.incubation.github/7/

for this PR

https://github.com/eclipse/nebula/pull/14

Follow-Ups:
- Re: [nebula-dev] Build problems.
  - From: Wim Jongman

References:
- [nebula-dev] Build problems.
  - From: Wim Jongman

Prev by Date: [nebula-dev] Build problems.
Next by Date: Re: [nebula-dev] Build problems.
Previous by thread: [nebula-dev] Build problems.
Next by thread: Re: [nebula-dev] Build problems.
Index(es):
- Date
- Thread

Breadcrumbs