diff options
author | Silvan Mosberger <silvan.mosberger@tweag.io> | 2023-11-27 23:55:50 +0100 |
---|---|---|
committer | Silvan Mosberger <silvan.mosberger@tweag.io> | 2023-11-27 23:57:08 +0100 |
commit | 5e0644896dce54c876df00c69fc824e3614fe61c (patch) | |
tree | 05125b0f4117e9b5d7b30a5be34f4c299074478a /.github/workflows/check-by-name.yml | |
parent | d38a7343feffdbf3466948d2f44adc337df0d5e6 (diff) |
workflows/check-by-name: Set 10 minute timeout
Co-Authored-By: Cole Helbling <cole.e.helbling@outlook.com>
Diffstat (limited to '.github/workflows/check-by-name.yml')
-rw-r--r-- | .github/workflows/check-by-name.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/check-by-name.yml b/.github/workflows/check-by-name.yml index cc9b51b138747..087ee57145900 100644 --- a/.github/workflows/check-by-name.yml +++ b/.github/workflows/check-by-name.yml @@ -16,6 +16,9 @@ jobs: # This is x86_64-linux, for which the tool is always prebuilt on the nixos-* channels, # as specified in nixos/release-combined.nix runs-on: ubuntu-latest + # This should take 1 minute at most, but let's be generous. + # The default of 6 hours is definitely too long + timeout-minutes: 10 steps: - name: Resolving the merge commit env: |