[jdt-ui-dev] FYI: Jenkins for JDT UI Fails Today

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

[jdt-ui-dev] FYI: Jenkins for JDT UI Fails Today

From: "Daniel Megert" <daniel_megert@xxxxxxxxxx>
Date: Wed, 2 May 2018 15:25:08 +0200
Delivered-to: jdt-ui-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/jdt-ui-dev>
List-help: <mailto:jdt-ui-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/jdt-ui-dev>, <mailto:jdt-ui-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/jdt-ui-dev>, <mailto:jdt-ui-dev-request@eclipse.org?subject=unsubscribe>

Hi

Due to a submitted fix that crosses repositories the JDT UI Jenkins builds for JDT UI fail today. This will work again tomorrow, assuming we have good I-build.

Dani

Prev by Date: Re: [jdt-ui-dev] gerrit?
Next by Date: [jdt-ui-dev] List closing, in future please use jdt-dev
Previous by thread: [jdt-ui-dev] gerrit?
Next by thread: [jdt-ui-dev] List closing, in future please use jdt-dev
Index(es):
- Date
- Thread

Breadcrumbs