Merge remote-tracking branch 'origin/develop'

runtimeverification · Jun 12, 2024 · 519a872 · 519a872
2 parents 0269df1 + c1ef5ac
commit 519a872
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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