Timeout circleci builds more aggressively if there's no output.

sandialabs · Oct 31, 2023 · bd93116 · bd93116
1 parent 7ad577d
commit bd93116
Showing 1 changed file with 9 additions and 6 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -24,8 +24,9 @@ jobs:
  ./autogen.sh
  ./configure --enable-picky --with-scheduler=<< parameters.scheduler >> --with-topology=<< parameters.topology >>
  make -j2
- - run: |
- timeout --foreground -k 10s 2m make check
+ - run:
+ command: timeout --foreground -k 10s 2m make check
+ no_output_timeout: 30s
 
  arm_clang:
  parameters:
@@ -53,8 +54,9 @@ jobs:
  ./autogen.sh
  ./configure --enable-picky --with-scheduler=<< parameters.scheduler >> -with-topology=<< parameters.topology >>
  make -j2
- - run: |
- timeout --foreground -k 10s 2m make check
+ - run:
+ command: timeout --foreground -k 10s 2m make check
+ no_output_timeout: 30s
 
  arm_sanitizers:
  parameters:
@@ -87,8 +89,9 @@ jobs:
  ./autogen.sh
  ./configure --enable-picky --with-scheduler=<< parameters.scheduler >> -with-topology=<< parameters.topology >>
  make -j2
- - run: |
- timeout --foreground -k 10s 4444m make check
+ - run:
+ command: timeout --foreground -k 10s 4444m make check
+ no_output_timeout: 30s
 
 workflows:
  build_and_test: