Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [nebula-dev] Problems beetween GitHub, Nebula and Jenkins

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

I looked at this PR [1]:


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

Back to the top