Re: [nebula-dev] Problems beetween GitHub, Nebula and Jenkins

[Laurent Caron <laurent.caron@xxxxxxxxx>]

Hi Wim,

Thank you for your quick answer. I'll be more patient in the future.

Have a nice day,

Laurent

Le lun. 15 avr. 2019 à 12:31, Wim Jongman <wim.jongman@xxxxxxxxx> a écrit :

Hi,

I just tested it. You were just too fast. The building process kicks in with a little delay.

Cheers,

Wim

On Mon, Apr 15, 2019 at 12:28 PM Wim Jongman <wim.jongman@xxxxxxxxx> wrote:

I think I misunderstood your question. You say the bridge is no longer working right?

I looked at this PR [1]:

[1] https://github.com/eclipse/nebula/pull/64

you filed it at 10:10 AM and merged it at 10:11

I don't think the builder had enough time to poll.

Cheers,

Wim

On Sun, Apr 14, 2019 at 3:40 PM Laurent Caron <laurent.caron@xxxxxxxxx> wrote:

Good afternoon,

I've fixed a few old bugs on Nebula on last days, and I noticed 2 points :

a) When a PR is created on GitHub, there is only one check (ECA). There is no more building checks

b) When a PR is created, there is no more comment from Eclipse Genie that points to the PR URL on GitHub

Who is in charge of these "bridges" ?

Cheers,

Laurent

_______________________________________________
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