diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-03-09 10:12:19 +0000 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2022-03-09 10:24:15 +0000 |
| commit | 7abe32889101f60c2779092eea75494d83254916 (patch) | |
| tree | 79b328e024a765897c7156bc15de3fd302927ca5 /.gitlab-ci.yml | |
| parent | a60ddffd75b9ff07b948ea8cdc71f677a4f8d167 (diff) | |
| download | haskell-7abe32889101f60c2779092eea75494d83254916.tar.gz | |
Add 10 minute timeout to linters job
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 6a95adb3e1..11d336ed91 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -181,7 +181,7 @@ ghc-linters: BUILD_FLAVOUR: default script: - .gitlab/ci.sh configure - - .gitlab/ci.sh run_hadrian test --test-root-dirs="testsuite/tests/linters" + - timeout 10m .gitlab/ci.sh run_hadrian test --test-root-dirs="testsuite/tests/linters" dependencies: [] rules: - if: $CI_MERGE_REQUEST_ID |