master breaks the CI

[liufengyun]

Prima facie it's related to the recent dotty doc merge.

http://dotty-ci.epfl.ch/lampepfl/dotty/761/1

[felixmulder]

Not really, the script is reporting an error because it couldn't push to github pages with nothing to commit.

Master isn't broken.

But I'm remedying that at the same time as fixing the slack integration.

[liufengyun]

@felixmulder see log line 3202, there are some compiler internal exceptions.

[felixmulder]

@liufengyun, it's missing the dotty-library on the classpath. Not really a big deal since the affected tests don't test compiler internals.

[liufengyun]

Thanks a lot @felixmulder , it seems to be fixed, I close now.

[smarter]

@liufengyun, it's missing the dotty-library on the classpath. Not really a big deal since the affected tests don't test compiler internals.

But it makes it much harder to read the logs when searching for an issue, it's even misleading.

[felixmulder]

Definitely, will fix in the morning :)

…

On Thu, Feb 2, 2017, 21:18 Guillaume Martres ***@***.***> wrote: @liufengyun <https://github.com/liufengyun>, it's missing the dotty-library on the classpath. Not really a big deal since the affected tests don't test compiler internals. But it makes it much harder to read the logs when searching for an issue, it's even misleading. — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#1934 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/ABdYwQQnBXZHWCbdm-hViNiMFC2nDbfzks5rYjiPgaJpZM4L1S4-> .