From 117b4913849c68d79121ed06de56829b0fd0a3db Mon Sep 17 00:00:00 2001
From: Bogdan Roman <bogdan.roman@epfl.ch>
Date: Thu, 22 Jul 2021 11:32:24 +0200
Subject: [PATCH] Increased snapshot build timeout

---
 .github/workflows/ci-snapshot.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci-snapshot.yml b/.github/workflows/ci-snapshot.yml
index 6f1c14faa8..9ccbbaa51b 100644
--- a/.github/workflows/ci-snapshot.yml
+++ b/.github/workflows/ci-snapshot.yml
@@ -8,11 +8,12 @@ on:
       - 'storage/**'
       - 'build.sbt'
       - 'project/**'
+      - '.github/workflows/ci-snapshot.yml'
 jobs:
   publish-snapshot:
     if: github.event_name == 'push'
     runs-on: ubuntu-latest
-    timeout-minutes: 20
+    timeout-minutes: 40
     env:
       GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     steps: