Zulip Chat Archive

Stream: CI

Topic: build-status


view this post on Zulip Travis CI (Feb 27 2018 at 09:23):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Mario Carneiro (Feb 27 2018 at 09:26):

oh that's interesting, it also reports forks, even though it doesn't report PRs

view this post on Zulip Travis CI (Feb 27 2018 at 10:01):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Feb 27 2018 at 18:09):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Simon Hudon (Feb 27 2018 at 18:50):

Darn! I really look like a fork up in here!

view this post on Zulip Travis CI (Feb 27 2018 at 19:59):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Feb 27 2018 at 22:35):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Simon Hudon (Feb 27 2018 at 22:37):

there seems to be something wrong with data.set.countable which I did not touch

view this post on Zulip Travis CI (Feb 28 2018 at 23:17):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Feb 28 2018 at 23:45):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Mar 05 2018 at 15:55):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 05 2018 at 17:28):

Author: Johannes Hölzl
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Mar 05 2018 at 20:30):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 05 2018 at 21:26):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 06 2018 at 21:45):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 07 2018 at 13:52):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 07 2018 at 19:35):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 07 2018 at 23:28):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Mar 07 2018 at 23:58):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Mar 08 2018 at 06:58):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 08 2018 at 09:09):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 08 2018 at 09:20):

Author: Patrick Massot
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 08 2018 at 09:24):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 08 2018 at 10:08):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 08 2018 at 10:52):

Author: Kenny Lau
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 08 2018 at 11:07):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 08 2018 at 11:14):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 08 2018 at 12:07):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Mar 08 2018 at 12:35):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 08 2018 at 13:30):

Author: Patrick Massot
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 08 2018 at 15:50):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Scott Morrison (Mar 08 2018 at 17:09):

Travis agrees: in fact, we haven’t had a good Travis build for a while.

view this post on Zulip Travis CI (Mar 09 2018 at 15:25):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 10 2018 at 12:03):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 10 2018 at 13:13):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 10 2018 at 20:04):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 11 2018 at 13:54):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 12 2018 at 16:44):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 12 2018 at 20:15):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 13 2018 at 10:27):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 14 2018 at 19:24):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 14 2018 at 21:22):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 14 2018 at 22:53):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Mar 14 2018 at 23:11):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Mar 14 2018 at 23:23):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 15 2018 at 05:26):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 15 2018 at 17:39):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 15 2018 at 21:17):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 16 2018 at 05:10):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 19 2018 at 00:42):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Mar 21 2018 at 23:25):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Mar 22 2018 at 00:35):

Author: Mario Carneiro
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Mar 22 2018 at 12:55):

Author: Mario Carneiro
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Mar 22 2018 at 13:57):

Author: Johannes Hölzl
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Mar 25 2018 at 01:36):

Author: Johannes Hölzl
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Mar 26 2018 at 00:32):

Author: Mario Carneiro
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Mar 29 2018 at 15:53):

Author: Johannes Hölzl
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Mar 30 2018 at 12:55):

Author: Kenny Lau
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Kevin Buzzard (Apr 01 2018 at 21:55):

So am I right in thinking that if I upgrade Lean (to apply Leo's patch for the assertion violation which kept hitting me and is hitting me again right now) then mathlib will not work?

view this post on Zulip Travis CI (Apr 04 2018 at 11:02):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Kenny Lau (Apr 04 2018 at 11:02):

what

view this post on Zulip Kenny Lau (Apr 05 2018 at 05:02):

@Kevin Buzzard nice!

view this post on Zulip Travis CI (Apr 05 2018 at 05:59):

Author: Mario Carneiro
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Kenny Lau (Apr 05 2018 at 06:07):

@Mario Carneiro even nicer!

view this post on Zulip Kenny Lau (Apr 05 2018 at 06:07):

now the sky is blue again

view this post on Zulip Kenny Lau (Apr 05 2018 at 06:27):

https://github.com/leanprover/mathlib/pull/89#partial-pull-merging

view this post on Zulip Kenny Lau (Apr 05 2018 at 06:27):

@Mario Carneiro could you run this again?

view this post on Zulip Mario Carneiro (Apr 05 2018 at 06:29):

I restarted the build, but you probably need to rebase your branch on master for the build to work

view this post on Zulip Kenny Lau (Apr 05 2018 at 07:28):

I restarted the build, but you probably need to rebase your branch on master for the build to work

@Mario Carneiro what does that amount to doing?

view this post on Zulip Kevin Buzzard (Apr 05 2018 at 07:39):

pull

view this post on Zulip Kenny Lau (Apr 05 2018 at 07:39):

right, I figured that

view this post on Zulip Kenny Lau (Apr 05 2018 at 07:39):

thanks

view this post on Zulip Kenny Lau (Apr 05 2018 at 07:50):

I can't github

view this post on Zulip Kenny Lau (Apr 05 2018 at 07:50):

I'll just create a new PR

view this post on Zulip Kevin Buzzard (Apr 05 2018 at 07:55):

wooh 2^3^2 is 512 :-)

view this post on Zulip Travis CI (Apr 05 2018 at 13:54):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 05 2018 at 13:57):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Kenny Lau (Apr 05 2018 at 13:59):

how can it be "still" failing if it just passed

view this post on Zulip Travis CI (Apr 05 2018 at 16:00):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Mario Carneiro (Apr 05 2018 at 17:49):

The travis notifications here mix together mathlib and all mathlib forks and branches. This wasn't my original intent, but I know why it's happening and it's not horrible to be notified also of PR pushes and things

view this post on Zulip Kevin Buzzard (Apr 05 2018 at 18:59):

So is the correct version of the algorithm: "If last post authored by Mario has a thumbs up, it's safe to update both Lean and mathlib (from https://github.com/leanprover/lean-nightly/releases and via leanpkg upgrade/build respectively)"?

view this post on Zulip Mario Carneiro (Apr 05 2018 at 19:00):

If there's a small celebration on the travis post it's probably safe

view this post on Zulip Mario Carneiro (Apr 05 2018 at 19:02):

the best reliable place to look is https://github.com/leanprover/mathlib/commits/master ; if the last commit has a checkmark then it's passing

view this post on Zulip Mario Carneiro (Apr 05 2018 at 19:03):

also the build | passing badge on the readme of https://github.com/leanprover/mathlib

view this post on Zulip Travis CI (Apr 05 2018 at 23:28):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Apr 08 2018 at 04:25):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Kenny Lau (Apr 08 2018 at 04:26):

@Mario Carneiro parabens

view this post on Zulip Mario Carneiro (Apr 08 2018 at 04:28):

espere um minuto

view this post on Zulip Kenny Lau (Apr 08 2018 at 04:31):

oh wait it didn't build

view this post on Zulip Scott Morrison (Apr 08 2018 at 04:49):

@Mario Carneiro, did you just do something evil to mathlib's git history? I seem to have branched off a commit that disappeared in the last hour or so.

view this post on Zulip Mario Carneiro (Apr 08 2018 at 04:49):

;)

view this post on Zulip Mario Carneiro (Apr 08 2018 at 04:49):

you should rebase on the new version

view this post on Zulip Scott Morrison (Apr 08 2018 at 04:49):

I'll take that as a yes...

view this post on Zulip Scott Morrison (Apr 08 2018 at 04:49):

Time to learn to rebase.

view this post on Zulip Mario Carneiro (Apr 08 2018 at 04:49):

git rebase origin/master should do it

view this post on Zulip Mario Carneiro (Apr 08 2018 at 04:51):

I shouldn't have pushed that other commit in the first place, I forgot to check it first and broke the build as a result

view this post on Zulip Mario Carneiro (Apr 08 2018 at 04:53):

Also, you should learn to rebase instead of merge, since both lean and mathlib repos follow a rebase-based organization strategy

view this post on Zulip Scott Morrison (Apr 08 2018 at 04:54):

hmm.. decided to copy my files out to a temporary directory, delete mathlib, and reclone. :-)

view this post on Zulip Mario Carneiro (Apr 08 2018 at 04:54):

overkill much

view this post on Zulip Travis CI (Apr 08 2018 at 05:04):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Kenny Lau (Apr 08 2018 at 05:04):

parabens

view this post on Zulip Kenny Lau (Apr 08 2018 at 05:04):

parabems*

view this post on Zulip Mario Carneiro (Apr 08 2018 at 05:08):

thanks

view this post on Zulip Mario Carneiro (Apr 08 2018 at 05:08):

thamks*

view this post on Zulip Travis CI (Apr 08 2018 at 05:16):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 08 2018 at 05:30):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 09 2018 at 09:33):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Kenny Lau (Apr 09 2018 at 09:33):

contragulations!

view this post on Zulip Kenny Lau (Apr 09 2018 at 09:34):

and a win for computability!

view this post on Zulip Travis CI (Apr 09 2018 at 10:03):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 09 2018 at 19:16):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 10 2018 at 11:45):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 10 2018 at 12:30):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 10 2018 at 13:30):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 11 2018 at 09:00):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 11 2018 at 12:18):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 11 2018 at 13:19):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Kenny Lau (Apr 11 2018 at 13:29):

will we stop building on lean nightly?

view this post on Zulip Kenny Lau (Apr 11 2018 at 13:30):

the latest mathlib does not build against the latest lean

view this post on Zulip Travis CI (Apr 11 2018 at 13:51):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Kenny Lau (Apr 11 2018 at 13:59):

I just finished building mathlib :'(

view this post on Zulip Travis CI (Apr 11 2018 at 14:06):

Author: Sebastian Ullrich
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Apr 11 2018 at 14:41):

Author: Sebastian Ullrich
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Apr 11 2018 at 14:42):

Author: Sebastian Ullrich
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Apr 11 2018 at 14:50):

Author: Sebastian Ullrich
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Apr 11 2018 at 14:59):

Author: Sebastian Ullrich
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Apr 11 2018 at 15:11):

Author: Sebastian Ullrich
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Kenny Lau (Apr 11 2018 at 15:12):

could we have a different channel for each repo?

view this post on Zulip Travis CI (Apr 11 2018 at 15:36):

Author: Sebastian Ullrich
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 11 2018 at 15:37):

Author: Sebastian Ullrich
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Apr 11 2018 at 15:38):

Author: Sebastian Ullrich
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Apr 11 2018 at 16:55):

Author: Sebastian Ullrich
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 13 2018 at 18:01):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 15 2018 at 16:07):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 15 2018 at 16:10):

Author: Patrick Massot
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 15 2018 at 16:15):

Author: Kevin Buzzard
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 15 2018 at 16:29):

Author: Kevin Buzzard
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 15 2018 at 19:17):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 16 2018 at 18:40):

Author: Kenny Lau
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 16 2018 at 19:36):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 16 2018 at 21:25):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Patrick Massot (Apr 16 2018 at 21:31):

I see this message but it does not show up in https://github.com/leanprover/mathlib/pull/104/commits Is that normal?

view this post on Zulip Simon Hudon (Apr 16 2018 at 21:33):

What if you refresh the page?

view this post on Zulip Patrick Massot (Apr 16 2018 at 21:34):

Of course I refreshed the page...

view this post on Zulip Simon Hudon (Apr 16 2018 at 21:35):

You're saying that you don't see the green check mark?

view this post on Zulip Patrick Massot (Apr 16 2018 at 21:36):

Oh, I understand

view this post on Zulip Patrick Massot (Apr 16 2018 at 21:36):

I was confused by travis slowness

view this post on Zulip Patrick Massot (Apr 16 2018 at 21:36):

I thought this message signaled that you updated the PR with some doc

view this post on Zulip Patrick Massot (Apr 16 2018 at 21:37):

but it was only travis finishing handling your initial commit

view this post on Zulip Patrick Massot (Apr 16 2018 at 21:37):

I really need to sleep

view this post on Zulip Patrick Massot (Apr 16 2018 at 21:37):

sorry about all this noise

view this post on Zulip Simon Hudon (Apr 16 2018 at 21:37):

Haha :) no worries

view this post on Zulip Patrick Massot (Apr 16 2018 at 21:38):

I'm afraid Leo will remember from his visit that people on this chat can't setup VScode or read travis notifications :disappointed:

view this post on Zulip Patrick Massot (Apr 16 2018 at 21:44):

I'm sleeping now

view this post on Zulip Travis CI (Apr 17 2018 at 01:56):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 17 2018 at 06:41):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Kevin Buzzard (Apr 17 2018 at 07:34):

Leo was here a few times in the last week. Who knows what threads he reads.

view this post on Zulip Patrick Massot (Apr 17 2018 at 07:35):

Oh, I noticed only yesterday

view this post on Zulip Travis CI (Apr 18 2018 at 01:38):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Kenny Lau (Apr 18 2018 at 01:38):

@Mario Carneiro obrigado

view this post on Zulip Travis CI (Apr 19 2018 at 09:21):

Author: Mario Carneiro
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Kenny Lau (Apr 19 2018 at 09:30):

/home/travis/build/leanprover/mathlib/set_theory/ordinal.lean:1599:0: error: deep recursion was detected at 'replace' (potential solution: increase stack space in your system)

view this post on Zulip Kenny Lau (Apr 19 2018 at 09:30):

what kind of error is this

view this post on Zulip Mario Carneiro (Apr 19 2018 at 09:34):

probably OOM error?

view this post on Zulip Kevin Buzzard (Apr 19 2018 at 10:04):

those are the guys in Dr Who, right?

view this post on Zulip Travis CI (Apr 19 2018 at 12:35):

Author: Mario Carneiro
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Kenny Lau (Apr 19 2018 at 12:36):

maybe split up the ordinal file?

view this post on Zulip Travis CI (Apr 19 2018 at 13:27):

Author: Mario Carneiro
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Kenny Lau (Apr 19 2018 at 13:27):

@Mario Carneiro nice!

view this post on Zulip Travis CI (Apr 19 2018 at 23:17):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 20 2018 at 05:24):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 20 2018 at 05:25):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 20 2018 at 05:26):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Kenny Lau (Apr 20 2018 at 05:27):

@Simon Hudon nice, now we have ext

view this post on Zulip Travis CI (Apr 20 2018 at 12:54):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 20 2018 at 15:54):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 20 2018 at 17:04):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 20 2018 at 17:07):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 21 2018 at 06:24):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Apr 24 2018 at 02:47):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 24 2018 at 18:30):

Author: Patrick Massot
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Patrick Massot (Apr 24 2018 at 18:32):

Oh oh, merging seems under way

view this post on Zulip Travis CI (Apr 24 2018 at 18:45):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 24 2018 at 18:52):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 24 2018 at 18:54):

Author: Patrick Massot
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 24 2018 at 19:00):

Author: Johan Commelin
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 24 2018 at 19:00):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 24 2018 at 19:11):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 24 2018 at 20:17):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Apr 24 2018 at 20:18):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 24 2018 at 20:27):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 24 2018 at 20:34):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 24 2018 at 21:32):

Author: Patrick Massot
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Patrick Massot (Apr 24 2018 at 21:41):

Before going to bed, let me send big thanks to Mario for his merge sprint :thumbs_up:

view this post on Zulip Travis CI (Apr 25 2018 at 00:41):

Author: Mario Carneiro
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Apr 25 2018 at 00:51):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Apr 25 2018 at 00:53):

Author: Reid Barton
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Apr 25 2018 at 01:42):

Author: Mario Carneiro
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 25 2018 at 02:50):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 25 2018 at 08:10):

Author: Sean Leather
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Apr 25 2018 at 12:06):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 25 2018 at 12:24):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 25 2018 at 13:06):

Author: Kenny Lau
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 25 2018 at 13:15):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 26 2018 at 09:13):

Author: Sean Leather
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Apr 26 2018 at 12:15):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 26 2018 at 13:55):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Apr 26 2018 at 14:33):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 26 2018 at 17:03):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Apr 29 2018 at 05:56):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 02 2018 at 07:40):

Author: Sean Leather
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (May 02 2018 at 07:54):

Author: Sean Leather
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (May 02 2018 at 08:32):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 03 2018 at 18:20):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 06 2018 at 14:25):

Author: Sean Leather
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (May 07 2018 at 13:40):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 16 2018 at 12:19):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 16 2018 at 12:37):

Author: Sean Leather
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (May 18 2018 at 06:50):

Author: Sean Leather
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (May 18 2018 at 07:41):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 21 2018 at 06:55):

Author: Sean Leather
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (May 21 2018 at 07:28):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (May 21 2018 at 07:53):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 21 2018 at 07:56):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 21 2018 at 08:07):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 21 2018 at 08:11):

Author: Sean Leather
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Kevin Buzzard (May 21 2018 at 08:54):

Sean having an up-and-down day

view this post on Zulip Travis CI (May 21 2018 at 14:01):

Author: Sean Leather
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (May 22 2018 at 12:48):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 23 2018 at 10:22):

Author: Sean Leather
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (May 23 2018 at 13:04):

Author: Sean Leather
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 23 2018 at 16:05):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 23 2018 at 17:31):

Author: Gabriel Ebner
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 23 2018 at 17:54):

Author: Kevin Buzzard
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 23 2018 at 17:55):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 23 2018 at 17:55):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 24 2018 at 08:16):

Author: Johan Commelin
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 24 2018 at 14:54):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 25 2018 at 10:34):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 25 2018 at 10:36):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 25 2018 at 10:37):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 25 2018 at 10:47):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (May 25 2018 at 12:18):

Author: Sean Leather
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (May 25 2018 at 12:23):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (May 25 2018 at 12:25):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 25 2018 at 12:38):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (May 25 2018 at 13:19):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 25 2018 at 14:52):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 27 2018 at 23:03):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Kenny Lau (May 27 2018 at 23:13):

@Mario Carneiro is this commit safe?

view this post on Zulip Travis CI (May 28 2018 at 00:42):

Author: Mario Carneiro
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (May 28 2018 at 00:44):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (May 28 2018 at 03:40):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 28 2018 at 03:48):

Author: Mario Carneiro
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 28 2018 at 13:15):

Author: Patrick Massot
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 28 2018 at 14:27):

Author: Johannes Hölzl
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (May 29 2018 at 07:54):

Author: Sean Leather
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (May 29 2018 at 08:31):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 29 2018 at 08:41):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (May 29 2018 at 08:41):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (May 29 2018 at 08:54):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 29 2018 at 09:09):

Author: Sean Leather
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (May 29 2018 at 10:04):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 29 2018 at 14:07):

Author: Johannes Hölzl
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (May 29 2018 at 14:36):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 29 2018 at 14:58):

Author: Johannes Hölzl
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (May 29 2018 at 15:55):

Author: Johannes Hölzl
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (May 29 2018 at 23:41):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 29 2018 at 23:44):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 30 2018 at 20:06):

Author: Mario Carneiro
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (May 30 2018 at 20:12):

Author: Mario Carneiro
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (May 31 2018 at 07:45):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (May 31 2018 at 07:50):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (May 31 2018 at 08:12):

Author: Sean Leather
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (May 31 2018 at 08:33):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 31 2018 at 08:43):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (May 31 2018 at 08:57):

Author: Sean Leather
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (May 31 2018 at 16:09):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (May 31 2018 at 16:59):

Author: Gabriel Ebner
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 01 2018 at 02:56):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 01 2018 at 04:17):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 02 2018 at 15:20):

Author: Mario Carneiro
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Mario Carneiro (Jun 02 2018 at 15:23):

a miracle

view this post on Zulip Travis CI (Jun 02 2018 at 15:24):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 02 2018 at 18:00):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Kenny Lau (Jun 02 2018 at 18:43):

@Mario Carneiro how did you do it

view this post on Zulip Mario Carneiro (Jun 02 2018 at 18:43):

I didn't do anything

view this post on Zulip Chris Hughes (Jun 02 2018 at 19:15):

@Kenny Lau I think it's just because it happened to take less time because the server was less busy or something. All the PRs are still failing.

view this post on Zulip Travis CI (Jun 04 2018 at 08:49):

Author: Sean Leather
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jun 04 2018 at 12:23):

Author: Gabriel Ebner
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 04 2018 at 12:34):

Author: Gabriel Ebner
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 05 2018 at 10:28):

Author: Gabriel Ebner
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 05 2018 at 10:33):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 05 2018 at 10:54):

Author: Gabriel Ebner
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 10 2018 at 00:53):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 11 2018 at 08:39):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 12 2018 at 16:57):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 12 2018 at 18:21):

Author: Mario Carneiro
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jun 12 2018 at 19:10):

Author: Mario Carneiro
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 14 2018 at 23:01):

Author: Kevin Buzzard
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 15 2018 at 21:28):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jun 16 2018 at 01:57):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 16 2018 at 02:19):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 16 2018 at 22:30):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 19 2018 at 12:13):

Author: Scott Morrison
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 19 2018 at 12:17):

Author: Chris Hughes
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 19 2018 at 12:19):

Author: Reid Barton
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 19 2018 at 12:25):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 19 2018 at 12:59):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 19 2018 at 13:01):

Author: Chris Hughes
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 19 2018 at 13:02):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 19 2018 at 13:28):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 19 2018 at 14:42):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 19 2018 at 16:14):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 19 2018 at 19:33):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 20 2018 at 02:06):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 20 2018 at 15:25):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 20 2018 at 15:57):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 20 2018 at 16:41):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 21 2018 at 02:31):

Author: Mario Carneiro
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jun 21 2018 at 02:34):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 21 2018 at 03:30):

Author: Mario Carneiro
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 21 2018 at 12:43):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 21 2018 at 12:54):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 21 2018 at 12:54):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 22 2018 at 09:50):

Author: Sean Leather
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jun 24 2018 at 17:11):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 24 2018 at 22:36):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 24 2018 at 23:32):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 25 2018 at 01:18):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 25 2018 at 05:08):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 25 2018 at 05:14):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jun 25 2018 at 05:39):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 25 2018 at 06:13):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jun 25 2018 at 07:12):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 25 2018 at 08:35):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 25 2018 at 08:41):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 25 2018 at 10:19):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 25 2018 at 10:24):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 25 2018 at 10:29):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 25 2018 at 10:29):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 25 2018 at 10:33):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 25 2018 at 11:09):

Author: Chris Hughes
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 25 2018 at 11:19):

Author: Sean Leather
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jun 25 2018 at 12:32):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 25 2018 at 13:20):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 25 2018 at 16:00):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 25 2018 at 21:07):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 26 2018 at 01:06):

Author: Sean Leather
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 26 2018 at 02:27):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 26 2018 at 03:37):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 26 2018 at 04:10):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 26 2018 at 14:12):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 26 2018 at 16:06):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 26 2018 at 17:29):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 26 2018 at 17:48):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jun 26 2018 at 19:30):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 26 2018 at 20:19):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 27 2018 at 05:16):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jun 27 2018 at 06:37):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 28 2018 at 13:42):

Author: Sean Leather
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jun 28 2018 at 14:26):

Author: Sean Leather
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 29 2018 at 04:27):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 29 2018 at 08:07):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 29 2018 at 08:57):

Author: Sean Leather
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jun 29 2018 at 14:00):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 30 2018 at 05:52):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 30 2018 at 12:39):

Author: Sean Leather
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jun 30 2018 at 13:26):

Author: Sean Leather
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 30 2018 at 17:37):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 30 2018 at 23:23):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 30 2018 at 23:28):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 30 2018 at 23:30):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 30 2018 at 23:37):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 30 2018 at 23:40):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 30 2018 at 23:43):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jun 30 2018 at 23:54):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 01 2018 at 00:18):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 01 2018 at 00:30):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 01 2018 at 03:45):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 01 2018 at 14:53):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 02 2018 at 04:59):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 02 2018 at 06:44):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 02 2018 at 10:23):

Author: Reid Barton
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 02 2018 at 12:06):

Author: Johannes Hölzl
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 02 2018 at 12:40):

Author: Mario Carneiro
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 02 2018 at 19:29):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 02 2018 at 20:37):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 02 2018 at 22:47):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 02 2018 at 23:28):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 02 2018 at 23:40):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 03 2018 at 02:16):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 04 2018 at 02:02):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 04 2018 at 02:48):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 04 2018 at 13:02):

Author: Sean Leather
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 04 2018 at 14:11):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 04 2018 at 16:28):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 04 2018 at 17:32):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 04 2018 at 17:51):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 05 2018 at 09:57):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 05 2018 at 15:33):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 05 2018 at 19:20):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 06 2018 at 01:16):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 06 2018 at 03:34):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 06 2018 at 06:34):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 06 2018 at 08:19):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 06 2018 at 08:25):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 06 2018 at 08:34):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 06 2018 at 08:34):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 06 2018 at 09:26):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 06 2018 at 12:43):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 06 2018 at 13:44):

Author: Sean Leather
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 06 2018 at 13:51):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 06 2018 at 14:00):

Author: Sean Leather
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 06 2018 at 21:20):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 07 2018 at 05:16):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 07 2018 at 06:42):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 07 2018 at 07:10):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 07 2018 at 07:49):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 07 2018 at 08:29):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 07 2018 at 10:50):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 07 2018 at 10:50):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 07 2018 at 11:34):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 07 2018 at 11:44):

Author: Sean Leather
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 07 2018 at 12:08):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 07 2018 at 17:06):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 07 2018 at 18:34):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 08 2018 at 08:19):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 08 2018 at 08:42):

Author: Sean Leather
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 08 2018 at 09:25):

Author: Sean Leather
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 08 2018 at 13:07):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 08 2018 at 13:11):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 08 2018 at 19:24):

Author: Mario Carneiro
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 08 2018 at 20:17):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 08 2018 at 21:36):

Author: Mario Carneiro
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 09 2018 at 01:52):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 09 2018 at 03:42):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 09 2018 at 11:57):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 09 2018 at 12:24):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 09 2018 at 19:28):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 09 2018 at 19:50):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 09 2018 at 20:08):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 09 2018 at 20:20):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 09 2018 at 20:21):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 09 2018 at 20:35):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 09 2018 at 20:36):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 09 2018 at 21:00):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 09 2018 at 21:05):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 09 2018 at 21:07):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 09 2018 at 21:32):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 09 2018 at 22:23):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 09 2018 at 22:29):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 09 2018 at 23:51):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 10 2018 at 00:40):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 10 2018 at 00:51):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 10 2018 at 00:54):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 10 2018 at 00:59):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 10 2018 at 01:01):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 10 2018 at 01:53):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 10 2018 at 02:11):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 10 2018 at 10:54):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 10 2018 at 18:25):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 10 2018 at 21:13):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 10 2018 at 22:31):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 10 2018 at 23:45):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 10 2018 at 23:49):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 10 2018 at 23:53):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 10 2018 at 23:53):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 10 2018 at 23:54):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 10 2018 at 23:55):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 10 2018 at 23:57):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 10 2018 at 23:59):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 02:43):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 03:45):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 04:34):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 05:33):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 05:52):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 05:57):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 06:00):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 06:07):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 06:10):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 06:21):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 06:23):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 06:53):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 07:53):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 08:06):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 08:08):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 08:11):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 08:12):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 08:13):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 08:25):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 08:37):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 12:31):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 12:49):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 13:05):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 13:14):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 17:03):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 17:52):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 18:08):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 18:13):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 18:20):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 19:00):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 19:55):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 20:05):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 21:26):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 22:00):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 22:19):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 22:57):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 22:57):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 22:58):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 11 2018 at 23:22):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 01:36):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 01:44):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 01:52):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 01:54):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 01:54):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 01:57):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 01:58):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 02:04):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 02:10):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 02:19):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 02:20):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 02:22):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 02:23):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 02:25):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 02:27):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 02:31):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 03:02):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 03:07):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 03:09):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 03:24):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 03:26):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 04:04):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 04:05):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 13:35):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 17:08):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 18:25):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 18:35):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 22:39):

Author: Reid Barton
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 22:53):

Author: Reid Barton
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 23:04):

Author: Reid Barton
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 12 2018 at 23:11):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 13 2018 at 15:23):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 13 2018 at 15:31):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 04:21):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 07:40):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 09:03):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 09:54):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 12:44):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 13:31):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 13:37):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 13:51):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 14:24):

Author: Chris Hughes
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 14:52):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 15:28):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 15:31):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 16:14):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 17:26):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 18:32):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 18:32):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 19:34):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 19:42):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 19:53):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 19:59):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 20:25):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 23:44):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 16 2018 at 23:52):

Author: Reid Barton
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 00:05):

Author: sgouezel
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 00:14):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 00:16):

Author: Mario Carneiro
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 00:29):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 00:31):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 00:36):

Author: Sean Leather
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 00:41):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 01:01):

Author: Sean Leather
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 01:31):

Author: Sean Leather
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 01:34):

Author: Sean Leather
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 02:30):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 02:40):

Author: Mario Carneiro
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 02:52):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 02:53):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 03:18):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 03:32):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 03:39):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 03:50):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 04:01):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 04:22):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 04:42):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 04:43):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 05:10):

Author: Mario Carneiro
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 05:29):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 05:48):

Author: Mario Carneiro
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 08:33):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 17 2018 at 21:23):

Author: Chris Hughes
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 18 2018 at 01:02):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 18 2018 at 03:44):

Author: Mario Carneiro
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 18 2018 at 13:22):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 18 2018 at 19:41):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 19 2018 at 05:28):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 19 2018 at 06:45):

Author: Chris Hughes
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 19 2018 at 07:03):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 19 2018 at 07:38):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 19 2018 at 08:30):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 19 2018 at 10:58):

Author: Chris Hughes
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 19 2018 at 11:23):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 19 2018 at 12:22):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 19 2018 at 13:25):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 19 2018 at 14:08):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 19 2018 at 14:17):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 19 2018 at 15:15):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 19 2018 at 20:54):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 20 2018 at 05:20):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 20 2018 at 05:46):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 20 2018 at 06:38):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 20 2018 at 06:47):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 20 2018 at 11:42):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 20 2018 at 11:59):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 20 2018 at 12:13):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 20 2018 at 12:52):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 20 2018 at 13:29):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 20 2018 at 16:07):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 21 2018 at 17:50):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 21 2018 at 19:23):

Author: Mario Carneiro
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 21 2018 at 19:29):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 21 2018 at 20:15):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 21 2018 at 20:50):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 21 2018 at 21:02):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 21 2018 at 21:11):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 21 2018 at 22:18):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 22 2018 at 19:46):

Author: Chris Hughes
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 22 2018 at 19:57):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 22 2018 at 20:12):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 22 2018 at 20:40):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 22 2018 at 21:29):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 22 2018 at 21:53):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 23 2018 at 14:29):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 23 2018 at 14:45):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 23 2018 at 14:54):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 23 2018 at 15:14):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 23 2018 at 15:35):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 24 2018 at 01:08):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 24 2018 at 02:05):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 24 2018 at 06:08):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 24 2018 at 06:55):

Author: Sean Leather
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 24 2018 at 09:22):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 24 2018 at 11:46):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 24 2018 at 14:40):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 24 2018 at 15:05):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 24 2018 at 15:36):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 25 2018 at 13:29):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 25 2018 at 13:35):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 25 2018 at 13:52):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 25 2018 at 14:35):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 25 2018 at 17:44):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 25 2018 at 19:05):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 25 2018 at 21:38):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 25 2018 at 22:00):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 25 2018 at 22:10):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 26 2018 at 13:43):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 27 2018 at 03:52):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 27 2018 at 13:11):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 27 2018 at 13:36):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 27 2018 at 13:37):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 27 2018 at 14:22):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 27 2018 at 16:20):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 27 2018 at 18:53):

Author: Chris Hughes
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 27 2018 at 19:08):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 27 2018 at 20:58):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 27 2018 at 21:36):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Jul 28 2018 at 00:37):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 28 2018 at 01:19):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 28 2018 at 02:01):

Author: Sean Leather
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 28 2018 at 04:09):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Mario Carneiro (Jul 28 2018 at 04:10):

that was fast...

view this post on Zulip Travis CI (Jul 28 2018 at 09:04):

Author: Gabriel Ebner
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 29 2018 at 21:04):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 30 2018 at 05:55):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 30 2018 at 06:53):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 30 2018 at 09:22):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 30 2018 at 09:36):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 30 2018 at 09:44):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 30 2018 at 09:49):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 30 2018 at 10:21):

Author: Gabriel Ebner
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 30 2018 at 10:26):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 30 2018 at 10:40):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 30 2018 at 11:20):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 30 2018 at 16:48):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 30 2018 at 16:58):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Jul 30 2018 at 17:14):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 30 2018 at 17:29):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 30 2018 at 17:30):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Jul 30 2018 at 19:47):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 01 2018 at 00:45):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 01 2018 at 01:57):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 01 2018 at 02:22):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 02 2018 at 21:56):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 02 2018 at 22:06):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 02 2018 at 22:21):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 02 2018 at 22:25):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 02 2018 at 22:29):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 03 2018 at 01:49):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 03 2018 at 10:31):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 03 2018 at 16:15):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 04 2018 at 04:31):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 04 2018 at 04:47):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 04 2018 at 05:51):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 04 2018 at 06:00):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 04 2018 at 06:28):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 04 2018 at 06:33):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 04 2018 at 20:07):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 04 2018 at 20:16):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 04 2018 at 21:27):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 04 2018 at 21:28):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 04 2018 at 21:32):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 04 2018 at 21:33):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 04 2018 at 21:37):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 04 2018 at 22:07):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 04 2018 at 22:46):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 04 2018 at 23:59):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 05 2018 at 00:06):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 06 2018 at 10:38):

Author: Mario Carneiro
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 06 2018 at 10:50):

Author: Mario Carneiro
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 06 2018 at 15:50):

Author: Kevin Buzzard
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 07 2018 at 01:25):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 07 2018 at 01:49):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 07 2018 at 08:27):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 07 2018 at 08:29):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 07 2018 at 09:57):

Author: Johan Commelin
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 07 2018 at 10:50):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 07 2018 at 13:01):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 07 2018 at 14:04):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 07 2018 at 14:29):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 07 2018 at 15:05):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 07 2018 at 21:23):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 07 2018 at 21:39):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 08 2018 at 01:10):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 08 2018 at 01:11):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 08 2018 at 01:15):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 08 2018 at 05:31):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 08 2018 at 05:45):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 08 2018 at 05:58):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 08 2018 at 06:42):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 08 2018 at 07:49):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 08 2018 at 09:28):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 08 2018 at 10:00):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 08 2018 at 12:02):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 08 2018 at 15:50):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 08 2018 at 19:48):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 08 2018 at 21:40):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 09 2018 at 06:48):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 09 2018 at 16:12):

Author: Patrick Massot
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 09:02):

Author: Mario Carneiro
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 09:40):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 09:58):

Author: Mario Carneiro
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 10:24):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 11:08):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 11:12):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 11:49):

Author: Mario Carneiro
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 12:20):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 12:30):

Author: Kevin Buzzard
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 13:02):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 13:14):

Author: Chris Hughes
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 13:22):

Author: Mario Carneiro
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 13:40):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 13:41):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 13:43):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 13:46):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 13:53):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 13:54):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 14:31):

Author: Kenny Lau
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 14:32):

Author: Chris Hughes
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 14:36):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 14:39):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 14:45):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 16:32):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 16:33):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 16:49):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 17:50):

Author: Mario Carneiro
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 18:10):

Author: Mario Carneiro
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 20:55):

Author: Patrick Massot
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 10 2018 at 23:03):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 11 2018 at 07:30):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 11 2018 at 08:05):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 11 2018 at 08:43):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 11 2018 at 08:52):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 11 2018 at 16:26):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 11 2018 at 16:33):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 11 2018 at 17:31):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 12 2018 at 13:57):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 12 2018 at 19:43):

Author: Kevin Buzzard
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 13 2018 at 03:36):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 13 2018 at 03:46):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 13 2018 at 06:47):

Author: Mario Carneiro
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 13 2018 at 06:55):

Author: Mario Carneiro
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 13 2018 at 07:24):

Author: Mario Carneiro
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 13 2018 at 09:21):

Author: Mario Carneiro
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 13 2018 at 09:35):

Author: Johannes Hölzl
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 13 2018 at 12:13):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 13 2018 at 12:51):

Author: Minchao Wu
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 13 2018 at 13:20):

Author: Minchao Wu
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 13 2018 at 13:57):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 13 2018 at 14:28):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 13 2018 at 19:37):

Author: Chris Hughes
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 13 2018 at 20:55):

Author: Kevin Buzzard
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 13 2018 at 21:14):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 13 2018 at 22:13):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 13 2018 at 22:23):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 13 2018 at 22:36):

Author: Kevin Buzzard
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 14 2018 at 04:41):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 14 2018 at 05:24):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 14 2018 at 05:26):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 14 2018 at 07:16):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 14 2018 at 08:07):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 14 2018 at 08:09):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 14 2018 at 08:12):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 14 2018 at 09:57):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 14 2018 at 10:10):

Author: Minchao Wu
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 14 2018 at 10:12):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 14 2018 at 14:56):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 14 2018 at 15:27):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 14 2018 at 15:28):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 14 2018 at 15:47):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 14 2018 at 15:47):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 14 2018 at 18:08):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 14 2018 at 18:08):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 14 2018 at 18:26):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 14 2018 at 18:59):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 15 2018 at 08:39):

Author: Kevin Buzzard
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 15 2018 at 08:49):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 15 2018 at 14:29):

Author: Reid Barton
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 15 2018 at 15:31):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 15 2018 at 16:16):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 15 2018 at 16:37):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 15 2018 at 17:11):

Author: amswerdlow
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 15 2018 at 17:15):

Author: Minchao Wu
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 15 2018 at 17:24):

Author: amswerdlow
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 15 2018 at 17:38):

Author: amswerdlow
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 15 2018 at 17:39):

Author: amswerdlow
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 15 2018 at 17:41):

Author: amswerdlow
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 15 2018 at 19:57):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 15 2018 at 23:55):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 00:25):

Author: Mario Carneiro
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 00:29):

Author: Chris Hughes
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 00:48):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 00:52):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 01:20):

Author: Kevin Buzzard
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 02:11):

Author: Mario Carneiro
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 03:12):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 04:27):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 11:13):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 11:17):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 11:32):

Author: amswerdlow
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 11:58):

Author: amswerdlow
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 12:11):

Author: amswerdlow
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 16:08):

Author: Simon Hudon
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 16:12):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 16:16):

Author: Rob Lewis
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 16:25):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 16:39):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 16:52):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 17:55):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 18:05):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 18:14):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 18:21):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 18:29):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 18:36):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 18:39):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 16 2018 at 19:50):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 17 2018 at 11:00):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 17 2018 at 11:52):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 17 2018 at 17:51):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 17 2018 at 18:27):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 17 2018 at 18:31):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 18 2018 at 05:53):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 18 2018 at 05:58):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 18 2018 at 06:00):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 18 2018 at 06:03):

Author: Minchao Wu
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 18 2018 at 06:03):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 18 2018 at 18:29):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 18 2018 at 18:31):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 18 2018 at 20:53):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 18 2018 at 21:00):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 18 2018 at 21:44):

Author: Patrick Massot
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 18 2018 at 21:49):

Author: Patrick Massot
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 19 2018 at 02:44):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 19 2018 at 03:43):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 19 2018 at 04:08):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 19 2018 at 04:08):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 19 2018 at 06:21):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 19 2018 at 06:55):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 19 2018 at 06:58):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 19 2018 at 07:07):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 19 2018 at 21:53):

Author: Patrick Massot
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 20 2018 at 07:41):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 20 2018 at 17:06):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 20 2018 at 19:23):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 21 2018 at 18:58):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 21 2018 at 18:59):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 21 2018 at 21:00):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 21 2018 at 21:05):

Author: Simon Hudon
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 21 2018 at 23:20):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 22 2018 at 15:29):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 22 2018 at 17:37):

Author: Mario Carneiro
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 22 2018 at 17:49):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 22 2018 at 18:07):

Author: Patrick Massot
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 22 2018 at 18:35):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 22 2018 at 18:56):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 22 2018 at 19:15):

Author: Patrick Massot
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 23 2018 at 08:48):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 23 2018 at 09:42):

Author: Sean Leather
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 23 2018 at 10:21):

Author: Chris Hughes
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 23 2018 at 10:24):

Author: Sean Leather
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 23 2018 at 10:28):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 23 2018 at 10:52):

Author: Sean Leather
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 23 2018 at 12:45):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 23 2018 at 13:26):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 23 2018 at 14:48):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 23 2018 at 18:55):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 24 2018 at 07:44):

Author: Johan Commelin
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 24 2018 at 23:36):

Author: Simon Hudon
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 25 2018 at 13:14):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 25 2018 at 14:36):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 25 2018 at 14:41):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 25 2018 at 15:08):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 25 2018 at 20:30):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 25 2018 at 21:16):

Author: Simon Hudon
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 26 2018 at 14:53):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 26 2018 at 14:55):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 26 2018 at 15:05):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 27 2018 at 10:11):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 27 2018 at 10:39):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 27 2018 at 13:40):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 27 2018 at 13:51):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 27 2018 at 13:56):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 27 2018 at 14:22):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 27 2018 at 14:43):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 27 2018 at 14:44):

Author: Mario Carneiro
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 27 2018 at 15:31):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 27 2018 at 15:36):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 27 2018 at 15:54):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 27 2018 at 15:56):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 27 2018 at 21:07):

Author: Mario Carneiro
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 27 2018 at 22:10):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 27 2018 at 22:56):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 27 2018 at 23:18):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 27 2018 at 23:35):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 07:57):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 08:41):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 11:13):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 11:19):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 11:23):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 12:30):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 13:12):

Author: Scott Morrison
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 13:38):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 13:47):

Author: Scott Morrison
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 14:17):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 15:25):

Author: Patrick Massot
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 16:07):

Author: Scott Morrison
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 16:32):

Author: Patrick Massot
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 17:48):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 18:16):

Author: Scott Morrison
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 18:17):

Author: Scott Morrison
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 18:41):

Author: Scott Morrison
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 18:50):

Author: Scott Morrison
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 18:54):

Author: Patrick Massot
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 19:00):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 19:34):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 21:27):

Author: Scott Morrison
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 21:45):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 22:00):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 22:16):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 22:28):

Author: Scott Morrison
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 28 2018 at 23:21):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 00:42):

Author: Patrick Massot
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 00:46):

Author: Johan Commelin
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 00:53):

Author: Patrick Massot
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 02:03):

Author: Patrick Massot
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 02:27):

Author: Patrick Massot
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 02:52):

Author: Patrick Massot
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 02:57):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 04:27):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 04:36):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 07:38):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 07:53):

Author: Scott Morrison
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 08:09):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 08:50):

Author: Mario Carneiro
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 08:52):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 09:12):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 09:53):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 12:54):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 13:09):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 13:12):

Author: Johannes Hölzl
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 13:33):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 13:39):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 13:43):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 13:58):

Author: Patrick Massot
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 14:22):

Author: Patrick Massot
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 14:24):

Author: Patrick Massot
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 14:41):

Author: Scott Morrison
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 14:48):

Author: Scott Morrison
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 15:57):

Author: Scott Morrison
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 17:34):

Author: Scott Morrison
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 17:35):

Author: Scott Morrison
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 29 2018 at 19:04):

Author: Mario Carneiro
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 30 2018 at 11:46):

Author: Scott Morrison
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 30 2018 at 13:09):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 30 2018 at 14:19):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 30 2018 at 14:46):

Author: Scott Morrison
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 30 2018 at 15:02):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 30 2018 at 15:34):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 30 2018 at 16:48):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 30 2018 at 16:51):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 30 2018 at 17:33):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 30 2018 at 17:37):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 31 2018 at 01:18):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 31 2018 at 04:52):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 31 2018 at 04:53):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 31 2018 at 04:54):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Aug 31 2018 at 08:43):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 31 2018 at 08:47):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 31 2018 at 09:28):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 31 2018 at 12:45):

Author: Johan Commelin
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Aug 31 2018 at 13:52):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 31 2018 at 13:53):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 31 2018 at 14:20):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 31 2018 at 16:46):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Aug 31 2018 at 16:57):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 01 2018 at 01:14):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 01 2018 at 01:28):

Author: Johannes Hölzl
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 01 2018 at 02:01):

Author: Johannes Hölzl
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 01 2018 at 02:49):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 01 2018 at 03:49):

Author: Johannes Hölzl
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 01 2018 at 05:11):

Author: Scott Morrison
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 01 2018 at 05:17):

Author: Simon Hudon
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 01 2018 at 05:22):

Author: Simon Hudon
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 01 2018 at 05:24):

Author: Scott Morrison
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 01 2018 at 05:27):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 01 2018 at 05:56):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 01 2018 at 06:41):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 01 2018 at 09:05):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 01 2018 at 10:44):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 01 2018 at 11:16):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 01 2018 at 11:28):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 01 2018 at 11:31):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 01 2018 at 11:55):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 01 2018 at 16:39):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 01 2018 at 17:54):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 00:53):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 02:48):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 04:11):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 04:58):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 08:55):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 09:47):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 13:38):

Author: kckennylau
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Kenny Lau (Sep 02 2018 at 13:39):

why does my github name show here?

view this post on Zulip Mario Carneiro (Sep 02 2018 at 13:44):

it's from the git commit author field

view this post on Zulip Kenny Lau (Sep 02 2018 at 13:44):

aha!

view this post on Zulip Travis CI (Sep 02 2018 at 13:49):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 13:54):

Author: kckennylau
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 14:08):

Author: kckennylau
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 15:18):

Author: kckennylau
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 17:01):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 17:56):

Author: Johannes Hölzl
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 19:09):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 19:15):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 19:28):

Author: Simon Hudon
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 19:42):

Author: Rob Lewis
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 19:47):

Author: Chris Hughes
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 20:27):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 20:31):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 20:51):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 21:49):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 21:58):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 22:19):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 22:29):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 22:33):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 22:37):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 22:41):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 22:54):

Author: Scott Morrison
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 22:55):

Author: Scott Morrison
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 22:56):

Author: Scott Morrison
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 23:03):

Author: Scott Morrison
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 23:04):

Author: Scott Morrison
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 23:05):

Author: Scott Morrison
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 23:08):

Author: Scott Morrison
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 23:23):

Author: Johannes Hölzl
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 23:31):

Author: Johannes Hölzl
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 23:34):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 23:37):

Author: Scott Morrison
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 02 2018 at 23:44):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 01:45):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 08:30):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 09:20):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 09:26):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 10:04):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 10:05):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 10:06):

Author: Scott Morrison
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 10:16):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 10:57):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 11:03):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 11:15):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 11:15):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 11:37):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 11:43):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 11:49):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 11:49):

Author: Keeley Hoek
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 12:13):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 12:32):

Author: Keeley Hoek
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 12:36):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 12:44):

Author: Johan Commelin
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 12:56):

Author: Keeley Hoek
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 13:44):

Author: Johannes Hölzl
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 13:46):

Author: Keeley Hoek
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 14:16):

Author: Keeley Hoek
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 14:42):

Author: Keeley Hoek
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 20:59):

Author: Patrick Massot
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 21:18):

Author: Patrick Massot
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 21:59):

Author: kckennylau
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 22:06):

Author: kckennylau
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 22:18):

Author: Scott Morrison
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 22:26):

Author: Mario Carneiro
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 03 2018 at 22:41):

Author: Mario Carneiro
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 00:30):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 02:19):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 02:40):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 03:34):

Author: Mario Carneiro
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 04:44):

Author: Mario Carneiro
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 06:07):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 06:09):

Author: Mario Carneiro
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 06:37):

Author: Scott Morrison
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 06:37):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 07:12):

Author: Keeley Hoek
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 07:14):

Author: Mario Carneiro
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 07:29):

Author: Mario Carneiro
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 07:52):

Author: Scott Morrison
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 07:58):

Author: Mario Carneiro
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 08:40):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 09:12):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 09:29):

Author: Scott Morrison
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 10:53):

Author: Keeley Hoek
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 11:04):

Author: Keeley Hoek
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 11:05):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 11:17):

Author: Johannes Hölzl
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 11:21):

Author: Keeley Hoek
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 11:37):

Author: Keeley Hoek
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 11:57):

Author: Scott Morrison
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 12:11):

Author: Keeley Hoek
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 12:30):

Author: Keeley Hoek
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 13:34):

Author: Scott Morrison
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 14:34):

Author: Sean Leather
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 15:04):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 15:29):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 18:35):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 04 2018 at 20:33):

Author: Chris Hughes
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 04:36):

Author: Keeley Hoek
Build status: Failed :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 07:54):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 09:51):

Author: Chris Hughes
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 09:54):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 10:00):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 10:02):

Author: Johan Commelin
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 10:03):

Author: Bryan Gin-ge Chen
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 11:13):

Author: Sean Leather
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 11:23):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 11:30):

Author: Kevin Buzzard
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 11:51):

Author: Scott Morrison
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 13:07):

Author: Scott Morrison
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 13:26):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 13:37):

Author: Johannes Hölzl
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 13:49):

Author: Scott Morrison
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 14:04):

Author: Johannes Hölzl
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 14:34):

Author: Scott Morrison
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 14:36):

Author: Johannes Hölzl
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 14:59):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 15:38):

Author: Johannes Hölzl
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 15:46):

Author: Johannes Hölzl
Build status: Still Failing :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 20:01):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 21:26):

Author: Johannes Hölzl
Build status: Fixed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 21:56):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 22:25):

Author: Kevin Buzzard
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 22:30):

Author: Kevin Buzzard
Build status: Broken :thumbs_down:
Details: changes, build log

view this post on Zulip Travis CI (Sep 05 2018 at 23:13):

Author: Johannes Hölzl
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 06 2018 at 03:48):

Author: Keeley Hoek
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 06 2018 at 03:55):

Author: Keeley Hoek
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 06 2018 at 03:56):

Author: Keeley Hoek
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 06 2018 at 04:03):

Author: Keeley Hoek
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 06 2018 at 04:10):

Author: Keeley Hoek
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 06 2018 at 04:16):

Author: Keeley Hoek
Build status: Errored (No emoji specified for status 'Errored'.)
Details: changes, build log

view this post on Zulip Travis CI (Sep 06 2018 at 05:17):

Author: Keeley Hoek
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 06 2018 at 05:19):

Author: Keeley Hoek
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 06 2018 at 05:45):

Author: Scott Morrison
Build status: Passed :thumbs_up:
Details: changes, build log

view this post on Zulip Travis CI (Sep 06 2018 at 06:42):

Author: Sean Leather
Build status: Canceled (No emoji specified for status 'Canceled'.)
Details: changes,