On Nov 12, 2019, at 21:38, Renee Otten wrote:
> I think having a working Travis CI and/or Azure pipelines is important.
Of course.
> As a temporary workaround for the current issues [1], I suggest to commit the
> change in PR 5767 [2]. I intend to merge that PR tomorrow morning (i.e., in
> 10 hours or so), unless someone has a better solution or if any concerns with
> that approach are brought up.
Looks like that will simply exclude the most recent commits that broke it. I
guess that's fine until someone can figure out why it broke and how to fix it.
(I am not working on it.)
