mirror of
https://github.com/maxkratz/docker_texlive.git
synced 2024-05-18 20:00:21 +00:00
Lifts the timeout limit for most of the complex build jobs to 12h
This commit is contained in:
parent
7258920367
commit
2aabb26c23
4
.github/workflows/build-and-push.yml
vendored
4
.github/workflows/build-and-push.yml
vendored
|
@ -33,6 +33,7 @@ jobs:
|
|||
build-and-push-image:
|
||||
runs-on: [ubuntu-22.04]
|
||||
needs: [build-and-push-base]
|
||||
timeout-minutes: 720
|
||||
strategy:
|
||||
matrix:
|
||||
year: [2017, 2018, 2019, 2020, 2021, 2022]
|
||||
|
@ -60,6 +61,7 @@ jobs:
|
|||
# Use a self-hosted runner to circumvent the small storage size of GitHub-hosted runners
|
||||
runs-on: [self-hosted]
|
||||
needs: [build-and-push-base]
|
||||
timeout-minutes: 720
|
||||
strategy:
|
||||
matrix:
|
||||
year: [2023]
|
||||
|
@ -88,6 +90,7 @@ jobs:
|
|||
# Use a self-hosted runner to circumvent the small storage size of GitHub-hosted runners
|
||||
runs-on: [self-hosted]
|
||||
needs: [build-and-push-base]
|
||||
timeout-minutes: 720
|
||||
strategy:
|
||||
matrix:
|
||||
year: [2024]
|
||||
|
@ -144,6 +147,7 @@ jobs:
|
|||
build-and-push-2016-image:
|
||||
runs-on: [ubuntu-22.04]
|
||||
needs: [build-and-push-base]
|
||||
timeout-minutes: 720
|
||||
strategy:
|
||||
matrix:
|
||||
year: [2016]
|
||||
|
|
3
.github/workflows/build-only.yml
vendored
3
.github/workflows/build-only.yml
vendored
|
@ -28,6 +28,7 @@ jobs:
|
|||
build-image:
|
||||
runs-on: [ubuntu-22.04]
|
||||
needs: [build-base]
|
||||
timeout-minutes: 720
|
||||
strategy:
|
||||
matrix:
|
||||
year: [2017, 2018, 2019, 2020, 2021, 2022, 2023]
|
||||
|
@ -72,6 +73,7 @@ jobs:
|
|||
build-latest-image:
|
||||
runs-on: [ubuntu-22.04]
|
||||
needs: [build-base]
|
||||
timeout-minutes: 720
|
||||
strategy:
|
||||
matrix:
|
||||
year: [2024]
|
||||
|
@ -96,6 +98,7 @@ jobs:
|
|||
build-2016-image:
|
||||
runs-on: [ubuntu-22.04]
|
||||
needs: [build-base]
|
||||
timeout-minutes: 720
|
||||
strategy:
|
||||
matrix:
|
||||
year: [2016]
|
||||
|
|
Loading…
Reference in a new issue