Merge pull request #833 from firesim/abejgonzalez-patch-3

Add timeout to CI manager initialization
This commit is contained in:
David Biancolin 2021-09-16 08:47:04 -07:00 committed by GitHub
commit 7bd2a0d993
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions

View File

@ -107,10 +107,14 @@ commands:
parameters:
max-runtime-hours:
type: integer
timeout:
type: string
default: "30m"
steps:
- run:
command: |
.circleci/initialize-manager.py << parameters.max-runtime-hours >>
no_output_timeout: << parameters.timeout >>
# This avoids a race that occurs when multiple cold scala compilations are launched at the same time.
initial-scala-compile: