From 731751fd46106712263c1679acbf8a867be8cf36 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Thu, 15 Aug 2024 10:27:55 +0200 Subject: [PATCH] Increase Gc rate --- .github/workflows/linux-520-32bit.yml | 2 +- .github/workflows/linux-530-trunk-32bit.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/linux-520-32bit.yml b/.github/workflows/linux-520-32bit.yml index fb03affe..c19153bf 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=4096,v=0,V=1' + runparam: 's=4096,o=60,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 84c9ca22..6726ada9 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=4096,v=0,V=1' + runparam: 's=4096,o=60,v=0,V=1' timeout: 240