From be583776f143387be30296adcb8940c13cad391d Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Tue, 3 Sep 2024 09:43:20 +0200
Subject: [PATCH] Add 5.4.0+trunk workflow

---
 .github/workflows/linux-540-trunk-32bit.yml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 .github/workflows/linux-540-trunk-32bit.yml

diff --git a/.github/workflows/linux-540-trunk-32bit.yml b/.github/workflows/linux-540-trunk-32bit.yml
new file mode 100644
index 00000000..540b5aae
--- /dev/null
+++ b/.github/workflows/linux-540-trunk-32bit.yml
@@ -0,0 +1,16 @@
+name: 32bit trunk
+
+on:
+  pull_request:
+  push:
+  workflow_dispatch:
+
+jobs:
+  build:
+    uses: ./.github/workflows/common.yml
+    with:
+      compiler: 'ocaml-variants.5.4.0+trunk,ocaml-option-32bit'
+      compiler_git_ref: refs/heads/trunk
+      dune_profile: 'debug-runtime'
+      runparam: 'o=20,s=4096,v=0,V=1'
+      timeout: 240