Auto merge of #784 - RalfJung:ci, r=RalfJung

bors · bors · commit 19b27ab8a57f · 2019-06-22T09:14:48.000Z
also run tests for cron jobs
diff --git a/.travis.yml b/.travis.yml
@@ -13,7 +13,7 @@ os:
 dist: xenial
 
 # Run in PRs and for bors, but not on master.
-if: branch = auto OR branch = try OR type = pull_request
+if: branch = auto OR branch = try OR type = pull_request OR type = cron
 
 env:
   global:
