Re: [Wikitech-l] MediaWiki CI failed due to lack of tidy.so [solved]

Thanks for fixing this! This was failing on some of the WMDE repos yesterday and this saves us looking into it! On 27 June 2017 at 12:52, Jon Robson wrote: > Thank you for shedding light on this! > > > On Tue, 27 Jun 2017 at 12:44 zppix e wrote:

Re: [Wikitech-l] MediaWiki CI failed due to lack of tidy.so [solved]

Thank you for shedding light on this! On Tue, 27 Jun 2017 at 12:44 zppix e wrote: > Thanks. Was wondering what went wrong. > > Zppix > Volunteer developer for WMF > enwp.org/User:Zppix > > On Jun 27, 2017 1:55 PM, "Antoine Musso" wrote: > > >

Re: [Wikitech-l] MediaWiki CI failed due to lack of tidy.so [solved]

Thanks. Was wondering what went wrong. Zppix Volunteer developer for WMF enwp.org/User:Zppix On Jun 27, 2017 1:55 PM, "Antoine Musso" wrote: > Hello, > > Jenkins jobs relying on HHVM had troubles today exiting with: > >

[Wikitech-l] MediaWiki CI failed due to lack of tidy.so [solved]

Hello, Jenkins jobs relying on HHVM had troubles today exiting with: /usr/lib/x86_64-linux-gnu/hhvm/extensions/20150212/tidy.so: cannot open shared object file: No such file or directory The root cause is installing libtidy-dev ends up uninstall the HHVM tidy extension (hhvm-tidy). The