make the timeout even higher to avoid the timeout

runtimeverification · Dec 10, 2024 · f3bb383 · f3bb383
1 parent 3ef0f58
commit f3bb383
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: 120
+    timeout-minutes: 180
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4