Re: [eclipse-dev] API Tools Verification

["Daniel Megert" <daniel_megert@xxxxxxxxxx>]

> Unfortunately
api tooling is not always reliable, as you have seen today: 

Well, as in many
cases with API Tools it was a user error (on my side) . See my comments
in the bug report for details. The latest build also confirms the API problems.

Dani



From:
       Lars
Vogel <lars.vogel@xxxxxxxxxxx>
To:
       "General
development mailing list of the Eclipse project." <eclipse-dev@xxxxxxxxxxx>
Date:
       25.04.2019
20:54
Subject:
       Re:
[eclipse-dev] API Tools Verification
Sent
by:        eclipse-dev-bounces@xxxxxxxxxxx

---

Unfortunately api tooling is not always
reliable, as you have seen today: 

https://bugs.eclipse.org/bugs/show_bug.cgi?id=531748#c49

Daniel Megert <daniel_megert@xxxxxxxxxx>
schrieb am Do., 25. Apr. 2019, 18:33:
Hi Team

Please keep in mind that API Tools verification is not an optional thing.
At least committers who merge changes (their own and reviewed ones) *must*
make sure they have API Tools setup correctly and validate all changes
that they merge (no errors or warnings). Unfortunately this is not yet
checked by Gerrit, so please make sure you do this validation.

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