diff --git a/.github/workflows/esy.yml b/.github/workflows/esy.yml index 0251e32..89ce3d9 100644 --- a/.github/workflows/esy.yml +++ b/.github/workflows/esy.yml @@ -16,6 +16,8 @@ jobs: build: name: Build and test runs-on: ${{ matrix.os }} + # Most runs take between 20 and 90 minutes, but we leave some extra time, notably because windows is a bit inconsistent and can take longer to build. + timeout-minutes: 120 strategy: fail-fast: false diff --git a/.github/workflows/js.yml b/.github/workflows/js.yml index 28f3a02..1770b13 100644 --- a/.github/workflows/js.yml +++ b/.github/workflows/js.yml @@ -13,6 +13,8 @@ jobs: build: name: "Build with emsdk" runs-on: ubuntu-latest + # Most runs take between 10 and 15 minutes, but we leave some extra buffer. + timeout-minutes: 60 steps: - name: Setup node.js diff --git a/.github/workflows/opam.yml b/.github/workflows/opam.yml index 2464296..444d709 100644 --- a/.github/workflows/opam.yml +++ b/.github/workflows/opam.yml @@ -13,6 +13,8 @@ jobs: build: name: Build and test runs-on: ${{ matrix.os }} + # Most runs take between 20 and 30 minutes, but we leave some extra time, notably because windows is a bit inconsistent and can take longer to build. + timeout-minutes: 90 strategy: fail-fast: false