fix(.github/workflows): temporarily increase timeout (#15251)

Quick hack to fix our olean files after https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/.22saving.20olean.22.3F.
leanprover-community · Jul 11, 2022 · 00dbc7b · 00dbc7b
1 parent 201d2c6
commit 00dbc7b
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 12 deletions.
diff --git a/.github/workflows/bors.yml b/.github/workflows/bors.yml
@@ -80,8 +80,8 @@ jobs:
         run: |
           leanpkg configure
           echo "::set-output name=started::true"
-          lean --json -T100000 --make src | python3 scripts/detect_errors.py
-          lean --json -T100000 --make src | python3 scripts/detect_errors.py
+          lean --json -T150000 --make src | python3 scripts/detect_errors.py
+          lean --json -T150000 --make src | python3 scripts/detect_errors.py
 
       - name: push release to azure
         if: always() && github.repository == 'leanprover-community/mathlib' && steps.build.outputs.started == 'true'
@@ -196,7 +196,7 @@ jobs:
       - name: tests
         run: |
           set -o pipefail
-          lean --json -T100000 --make docs archive roadmap test counterexamples | python3 scripts/detect_errors.py
+          lean --json -T150000 --make docs archive roadmap test counterexamples | python3 scripts/detect_errors.py
 
       - uses: actions/setup-java@v2
         if: ${{ ! 1 }}

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -88,8 +88,8 @@ jobs:
         run: |
           leanpkg configure
           echo "::set-output name=started::true"
-          lean --json -T100000 --make src | python3 scripts/detect_errors.py
-          lean --json -T100000 --make src | python3 scripts/detect_errors.py
+          lean --json -T150000 --make src | python3 scripts/detect_errors.py
+          lean --json -T150000 --make src | python3 scripts/detect_errors.py
 
       - name: push release to azure
         if: always() && github.repository == 'leanprover-community/mathlib' && steps.build.outputs.started == 'true'
@@ -204,7 +204,7 @@ jobs:
       - name: tests
         run: |
           set -o pipefail
-          lean --json -T100000 --make docs archive roadmap test counterexamples | python3 scripts/detect_errors.py
+          lean --json -T150000 --make docs archive roadmap test counterexamples | python3 scripts/detect_errors.py
 
       - uses: actions/setup-java@v2
         if: ${{ ! 1 }}

diff --git a/.github/workflows/build.yml.in b/.github/workflows/build.yml.in
@@ -66,8 +66,8 @@ jobs:
         run: |
           leanpkg configure
           echo "::set-output name=started::true"
-          lean --json -T100000 --make src | python3 scripts/detect_errors.py
-          lean --json -T100000 --make src | python3 scripts/detect_errors.py
+          lean --json -T150000 --make src | python3 scripts/detect_errors.py
+          lean --json -T150000 --make src | python3 scripts/detect_errors.py
 
       - name: push release to azure
         if: always() && github.repository == 'leanprover-community/mathlib' && steps.build.outputs.started == 'true'
@@ -182,7 +182,7 @@ jobs:
       - name: tests
         run: |
           set -o pipefail
-          lean --json -T100000 --make docs archive roadmap test counterexamples | python3 scripts/detect_errors.py
+          lean --json -T150000 --make docs archive roadmap test counterexamples | python3 scripts/detect_errors.py
 
       - uses: actions/setup-java@v2
         if: ${{ ! IS_SELF_HOSTED }}

diff --git a/.github/workflows/build_fork.yml b/.github/workflows/build_fork.yml
@@ -86,8 +86,8 @@ jobs:
         run: |
           leanpkg configure
           echo "::set-output name=started::true"
-          lean --json -T100000 --make src | python3 scripts/detect_errors.py
-          lean --json -T100000 --make src | python3 scripts/detect_errors.py
+          lean --json -T150000 --make src | python3 scripts/detect_errors.py
+          lean --json -T150000 --make src | python3 scripts/detect_errors.py
 
       - name: push release to azure
         if: always() && github.repository == 'leanprover-community/mathlib' && steps.build.outputs.started == 'true'
@@ -202,7 +202,7 @@ jobs:
       - name: tests
         run: |
           set -o pipefail
-          lean --json -T100000 --make docs archive roadmap test counterexamples | python3 scripts/detect_errors.py
+          lean --json -T150000 --make docs archive roadmap test counterexamples | python3 scripts/detect_errors.py
 
       - uses: actions/setup-java@v2
         if: ${{ ! 0 }}