diff --git a/.github/workflows/linux-520-32bit.yml b/.github/workflows/linux-520-32bit.yml index 32d7acb0..fb03affe 100644 --- a/.github/workflows/linux-520-32bit.yml +++ b/.github/workflows/linux-520-32bit.yml @@ -11,5 +11,5 @@ jobs: with: compiler: 'ocaml-variants.5.2.0+options,ocaml-option-32bit' dune_profile: 'debug-runtime' - runparam: 's=2048,v=0,V=1' + runparam: 's=4096,v=0,V=1' timeout: 240 diff --git a/.github/workflows/linux-530-trunk-32bit.yml b/.github/workflows/linux-530-trunk-32bit.yml index b0ae4ce6..84c9ca22 100644 --- a/.github/workflows/linux-530-trunk-32bit.yml +++ b/.github/workflows/linux-530-trunk-32bit.yml @@ -12,5 +12,5 @@ jobs: compiler: 'ocaml-variants.5.3.0+trunk,ocaml-option-32bit' compiler_git_ref: refs/heads/trunk dune_profile: 'debug-runtime' - runparam: 's=2048,v=0,V=1' + runparam: 's=4096,v=0,V=1' timeout: 240