diff --git a/.github/workflows/cygwin-51x.yml b/.github/workflows/cygwin-51x.yml index 8041fa28..df8c6b4c 100644 --- a/.github/workflows/cygwin-51x.yml +++ b/.github/workflows/cygwin-51x.yml @@ -13,4 +13,4 @@ jobs: runs_on: windows-latest compiler: ocaml-variants.5.1.1+options+win cygwin: true - timeout: 360 + timeout: 240 diff --git a/.github/workflows/cygwin-520.yml b/.github/workflows/cygwin-520.yml index e0d5cf34..d26f8f01 100644 --- a/.github/workflows/cygwin-520.yml +++ b/.github/workflows/cygwin-520.yml @@ -14,4 +14,4 @@ jobs: runs_on: windows-latest compiler: ocaml-variants.5.2.0~beta1+options+win cygwin: true - timeout: 360 + timeout: 240 diff --git a/.github/workflows/cygwin-530-trunk.yml b/.github/workflows/cygwin-530-trunk.yml index edb839a7..5551247e 100644 --- a/.github/workflows/cygwin-530-trunk.yml +++ b/.github/workflows/cygwin-530-trunk.yml @@ -15,4 +15,4 @@ jobs: compiler: ocaml.5.3.0 cygwin: true compiler_git_ref: refs/heads/trunk - timeout: 360 + timeout: 240