From 31522dfffaea4c6f3fd03b1861f5d5202d0d3ea7 Mon Sep 17 00:00:00 2001
From: aottaviano <aottaviano@iis.ee.ethz.ch>
Date: Fri, 19 May 2023 20:24:02 +0200
Subject: [PATCH] .github: Increase poll time for github action

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

diff --git a/.github/workflows/gitlab-ci.yml b/.github/workflows/gitlab-ci.yml
index ed2734c4..5e783d83 100644
--- a/.github/workflows/gitlab-ci.yml
+++ b/.github/workflows/gitlab-ci.yml
@@ -17,4 +17,5 @@ jobs:
         with:
           domain: iis-git.ee.ethz.ch
           repo: github-mirror/carfield
-          token: ${{ secrets.GITLAB_TOKEN }}
\ No newline at end of file
+          token: ${{ secrets.GITLAB_TOKEN }}
+          poll-count: 2160