From c1ef5ac07ac06542699eb1bb339931fc739544c1 Mon Sep 17 00:00:00 2001 From: Bruce Collie Date: Wed, 12 Jun 2024 16:02:22 +0100 Subject: [PATCH] Allow a longer time for Pyk documentation builds (#4440) Now that we're building a Docker environment for this job, it can hit its time limit of 10 minutes easily: https://github.com/runtimeverification/k/actions/runs/9481407834/job/26125129742 --- .github/workflows/release.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index d6b36a1ffc8..028cf56bfda 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -424,7 +424,7 @@ jobs: name: 'Build Pyk Documentation' needs: ubuntu-jammy runs-on: [self-hosted, linux, normal] - timeout-minutes: 10 + timeout-minutes: 30 steps: - name: 'Check out code' uses: actions/checkout@v4