ci: Fix litmus timeout

Signed-off-by: Nils Wistoff <[email protected]>
pulp-platform · Jul 15, 2023 · 3fe26ca · 3fe26ca
1 parent 776332e
commit 3fe26ca
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/gitlab-ci.yml b/.github/workflows/gitlab-ci.yml
@@ -13,7 +13,7 @@ on: [ push, pull_request, workflow_dispatch ]
 jobs:
   gitlab-ci:
     runs-on: ubuntu-latest
-    timeout-minutes: 720
+    timeout-minutes: 5
     # Skip on forks or pull requests from forks due to missing secrets.
     if: github.repository == 'pulp-platform/cva6' && (github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name == github.repository)
     steps:
@@ -23,4 +23,4 @@ jobs:
           domain: iis-git.ee.ethz.ch
           repo: github-mirror/cva6
           token: ${{ secrets.GITLAB_TOKEN }}
-          poll-period: 60
+          poll-period: 10
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -17,7 +17,7 @@ stages:
 litmus:
   stage: test
   needs:
-  timeout: 12hrs
+  timeout: 20hrs
   script:
     - corev_apu/rv_plic/rtl/gen_plic_addrmap.py -t4 > corev_apu/rv_plic/rtl/plic_regmap.sv
     - ${PRFX} ci/build-riscv-litmus-tests.sh