Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[cross-project-issues-dev] Re: TPTP update ready for Europa M5 = Europa M5 build FAILED

Hubert,
I re-ran the Europa build after your update but it failed on TPTP. See the log for details.
http://dash.eclipse.org/~bfreeman/europa/#TPTP

Hubert H Leung wrote:

TPTP update is ready for Europa M5.  feature-tptp.xml file is also updated.  


Back to the top