There was an error while loading. Please reload this page.
1 parent b3d7b3e commit 7664a94Copy full SHA for 7664a94
1 file changed
.github/workflows/prod-vectors.yml
@@ -49,7 +49,7 @@ jobs:
49
# Trick to run even when keygen was skipped, but not on failure or cancel.
50
if: always() && !failure() && !cancelled()
51
runs-on: ubuntu-latest
52
- timeout-minutes: 30
+
53
steps:
54
- name: Checkout leanSpec
55
uses: actions/checkout@v4
0 commit comments