Travis Build history is stuck since a week

Can anyone help us?

<< This does not update anymore shows that the push builds have been disabled.

@BanzaiMan AFAIK that was always turned off. I could be wrong though and activated it know, but I am pretty sure that we never had that one active. I will see if this changes soon.

@BanzaiMan Can confirm that it works now ö.ö

Thank you!

Still weird, because also the PRs were not building

The requests page also tells you that some requests were rejected because they were not mergeable. There were plenty of other PR builds running; see

Hi BanzaiMan

Yes, I know. It was just the “Build Overview” that basically did not “update”. It does now, for some reason.