From 731641b16c2df60c72ebcd288eaba55ae0987c8f Mon Sep 17 00:00:00 2001
From: Wen Kokke <wen.kokke@gmail.com>
Date: Mon, 12 Mar 2018 16:33:19 +0000
Subject: [PATCH] Added timeout for cache and edge workaround.

---
 .travis.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index d4f1506b..98c70afc 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -6,6 +6,7 @@ language: ruby
 # Caching so the next build will be fast too.
 cache:
   bundler: true
+  timeout: 1200
   directories:
   - $HOME/.stack
   - $HOME/.agda
@@ -47,10 +48,9 @@ before_deploy:
 - make clean
 
 deploy:
-  edge:
-    branch: v1.8.47
   provider: pages
   skip-cleanup: true
   github-token: $GITHUB_TOKEN
+  edge: true
   on:
     branch: master