.github: Increase poll time for github action

pulp-platform · May 19, 2023 · 31522df · 31522df
1 parent 87d52bc
commit 31522df
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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 }}
+          token: ${{ secrets.GITLAB_TOKEN }}
+          poll-count: 2160