improve the timeout to avoid the error caused by it. (#909)

* improve the timeout to avoid the error caused by it. * make the timeout even higher to avoid the timeout
runtimeverification · Dec 10, 2024 · 6302093 · 6302093
1 parent eb61949
commit 6302093
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: 90
+    timeout-minutes: 180
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4