From 1e06cbb10f64c7bdcaec6c63874c1f5d4dd19168 Mon Sep 17 00:00:00 2001 From: Francois-Xavier Coudert Date: Wed, 20 Mar 2024 09:24:32 +0100 Subject: [PATCH] check-labels: set short timeout to 120 minutes --- .github/workflows/scripts/check-labels.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/scripts/check-labels.js b/.github/workflows/scripts/check-labels.js index 0b971f25119a9..4b6e9d2f5c0cc 100644 --- a/.github/workflows/scripts/check-labels.js +++ b/.github/workflows/scripts/check-labels.js @@ -82,7 +82,7 @@ module.exports = async ({github, context, core}, formulae_detect) => { core.setOutput('timeout-minutes', 4320) } else { console.log('No CI-long-timeout label found. Setting short GitHub Actions timeout.') - core.setOutput('timeout-minutes', 90) + core.setOutput('timeout-minutes', 120) if (label_names.includes('long build')) { core.setFailed('PR requires the CI-long-timeout label but it is not set!')