| author |  Alex Rønne Petersen <alex@alexrp.com> 2025-08-03 16:44:58+02:00 |
| committer | Alex Rønne Petersen <alex@alexrp.com> 2025-08-03 16:46:15+02:00 |
| log | 765825b80224f491e54fac83479cb31014352256 |
| tree | f01c1c720d0619e2d07424cbca153fc3c0b156e4 |
| parent | a5f891d0b30672e51f9f72c716953ed172603031 |
| signature | Signed by SSH key SHA256:7B/LJ7bpR1eX8aCXSr4mtd5M45VMPKcx9zY8e95b5QM |
ci: bump riscv64-linux timeout from 6 hours to 7 hours
GitHub is apparently very bad at arithmetic and so will cancel jobs that pass
the 5 hours mark, even if they're nowhere near the 6 hours timeout. So add an
hour to assist GitHub in this very difficult task.1 files changed, 2 insertions(+), 2 deletions(-)
.github
workflows
.github/workflows/ci.yaml+2-2
| ... | ... | @@ -52,7 +52,7 @@ jobs: |
| 52 | 52 | run: sh ci/aarch64-linux-release.sh |
| 53 | 53 | riscv64-linux-debug: |
| 54 | 54 | if: github.event_name == 'push' |
| 55 | timeout-minutes: 360 | |
| 55 | timeout-minutes: 420 | |
| 56 | 56 | runs-on: [self-hosted, Linux, riscv64] |
| 57 | 57 | steps: |
| 58 | 58 | - name: Checkout |
| ... | ... | @@ -61,7 +61,7 @@ jobs: |
| 61 | 61 | run: sh ci/riscv64-linux-debug.sh |
| 62 | 62 | riscv64-linux-release: |
| 63 | 63 | if: github.event_name == 'push' |
| 64 | timeout-minutes: 360 | |
| 64 | timeout-minutes: 420 | |
| 65 | 65 | runs-on: [self-hosted, Linux, riscv64] |
| 66 | 66 | steps: |
| 67 | 67 | - name: Checkout |