From ed57a51f353d26ee1b84b72fdd6312307bebff0c Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 27 Aug 2024 10:19:14 +0200 Subject: [PATCH] Update to reflect new 5.3 branch --- .github/workflows/linux-530-trunk-32bit.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/linux-530-trunk-32bit.yml b/.github/workflows/linux-530-trunk-32bit.yml index 01167fa0..99948c6c 100644 --- a/.github/workflows/linux-530-trunk-32bit.yml +++ b/.github/workflows/linux-530-trunk-32bit.yml @@ -1,4 +1,4 @@ -name: 32bit trunk +name: 32bit 5.3 on: pull_request: @@ -10,7 +10,7 @@ jobs: uses: ./.github/workflows/common.yml with: compiler: 'ocaml-variants.5.3.0+trunk,ocaml-option-32bit' - compiler_git_ref: refs/heads/trunk + compiler_git_ref: refs/heads/5.3 dune_profile: 'debug-runtime' runparam: 'o=20,s=4096,v=0,V=1' timeout: 240