Bump timeout to 90 minutes (#826)

runtimeverification · Sep 23, 2024 · 9598623 · 9598623
1 parent e111624
commit 9598623
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/update-expected-output.yml b/.github/workflows/update-expected-output.yml
@@ -11,7 +11,7 @@ jobs:
     if: github.ref != 'refs/heads/master'
     name: 'Update Kontrol expected output'
     runs-on: [self-hosted, linux, normal, fast]
-    timeout-minutes: 60
+    timeout-minutes: 90
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4