tree cdcb207881d6bec89544d4a98ab536a6a22f8b44
parent 73b3f326caef6a2b49f78fc2e742bc1a8ada8182
author Vladimir Milovanović <barun@eecs.berkeley.edu> 1608290540 +0100
committer Vladimir Milovanović <barun@eecs.berkeley.edu> 1608290540 +0100

Decreased travis_wait to 40 minutes.