Double timeouts

Emulated platforms need more time.
rust-lang · Jul 27, 2023 · d6585c7 · d6585c7
1 parent 920d46f
commit d6585c7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/run-ci-script.yml b/.github/workflows/run-ci-script.yml
@@ -77,7 +77,7 @@ jobs:
  VERIFY: ${{ inputs.verify }}
  FEATURES: ${{ inputs.features }}
  - name: Run CI Script
- timeout-minutes: 15
+ timeout-minutes: 30
  run: ${{ inputs.script }}
  env:
  TARGET: ${{ inputs.target }}