tree be701588e820e3f021fd9c2fb3811d54012c051a
parent 5cfa93810a407da48fe72b9e11df6e2bb7f17d9b
author Florian Mayer <fmayer@google.com> 1538410762 +0100
committer Florian Mayer <fmayer@google.com> 1538410762 +0100

Disable ubsan on Travis.

We are just wasting builders on it timing out.

Change-Id: I5b017cbeac1a8a846836971b82d41dfad84c28aa