CI red

[Gary Gregory]

We have red CI builds all the time. Why? I don't really care but I see that
the GitHub portions of the builds are green all the time. So can we please
drop the red parts?

Gary