chore(build): update travis [skip ci]

leanprover-community · May 12, 2019 · 61718f1 · 61718f1
1 parent 648a3bd
commit 61718f1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -7,7 +7,6 @@ dist: trusty
 branches:
   only:
     - master
-    - float-pr
 group: deprecated-2017Q3
 addons:
   apt: