From ae5e020497ed58305ff032e9398cd145ba0e0687 Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Wed, 28 Aug 2024 16:17:44 +0200
Subject: [PATCH 01/10] Handle 5.3/5.4 renaming for Cygwin

---
 .github/workflows/cygwin-530-trunk.yml |  4 ++--
 .github/workflows/cygwin-540-trunk.yml | 21 +++++++++++++++++++++
 2 files changed, 23 insertions(+), 2 deletions(-)
 create mode 100644 .github/workflows/cygwin-540-trunk.yml

diff --git a/.github/workflows/cygwin-530-trunk.yml b/.github/workflows/cygwin-530-trunk.yml
index c1ffac7d..020e37f9 100644
--- a/.github/workflows/cygwin-530-trunk.yml
+++ b/.github/workflows/cygwin-530-trunk.yml
@@ -1,4 +1,4 @@
-name: Cygwin trunk
+name: Cygwin 5.3
 
 on:
   schedule:
@@ -17,5 +17,5 @@ jobs:
       runs_on: windows-latest
       compiler: ocaml.5.3.0
       cygwin: true
-      compiler_git_ref: refs/heads/trunk
+      compiler_git_ref: refs/heads/5.3
       timeout: 240
diff --git a/.github/workflows/cygwin-540-trunk.yml b/.github/workflows/cygwin-540-trunk.yml
new file mode 100644
index 00000000..27bde245
--- /dev/null
+++ b/.github/workflows/cygwin-540-trunk.yml
@@ -0,0 +1,21 @@
+name: Cygwin trunk
+
+on:
+  schedule:
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
+  pull_request:
+  push:
+    branches:
+      - main
+  workflow_dispatch:
+
+jobs:
+  build:
+    uses: ./.github/workflows/common.yml
+    with:
+      runs_on: windows-latest
+      compiler: ocaml.5.4.0
+      cygwin: true
+      compiler_git_ref: refs/heads/trunk
+      timeout: 240

From 5eb334152b32699362b8c36408c3456f6d375968 Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Wed, 28 Aug 2024 16:27:22 +0200
Subject: [PATCH 02/10] Rename trunk to 5.3 in Linux, macOS, and MinGW
 workflows

---
 .github/workflows/linux-530-trunk-32bit.yml    |  4 ++--
 .github/workflows/linux-530-trunk-bytecode.yml |  4 ++--
 .github/workflows/linux-530-trunk-debug.yml    |  4 ++--
 .github/workflows/linux-530-trunk-fp.yml       |  4 ++--
 .github/workflows/linux-530-trunk.yml          |  4 ++--
 .github/workflows/linux-540-trunk.yml          | 18 ++++++++++++++++++
 .github/workflows/macosx-arm64-530-trunk.yml   |  4 ++--
 .github/workflows/macosx-intel-530-trunk.yml   |  4 ++--
 .github/workflows/mingw-530-trunk-bytecode.yml |  4 ++--
 .github/workflows/mingw-530-trunk.yml          |  4 ++--
 10 files changed, 36 insertions(+), 18 deletions(-)
 create mode 100644 .github/workflows/linux-540-trunk.yml

diff --git a/.github/workflows/linux-530-trunk-32bit.yml b/.github/workflows/linux-530-trunk-32bit.yml
index 0589bf9e..3e82cf30 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:
   schedule:
@@ -15,5 +15,5 @@ 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
       timeout: 240
diff --git a/.github/workflows/linux-530-trunk-bytecode.yml b/.github/workflows/linux-530-trunk-bytecode.yml
index d5784764..77036da1 100644
--- a/.github/workflows/linux-530-trunk-bytecode.yml
+++ b/.github/workflows/linux-530-trunk-bytecode.yml
@@ -1,4 +1,4 @@
-name: Bytecode trunk
+name: Bytecode 5.3
 
 on:
   schedule:
@@ -15,5 +15,5 @@ jobs:
     uses: ./.github/workflows/common.yml
     with:
       compiler: 'ocaml-variants.5.3.0+trunk,ocaml-option-bytecode-only'
-      compiler_git_ref: refs/heads/trunk
+      compiler_git_ref: refs/heads/5.3
       timeout: 240
diff --git a/.github/workflows/linux-530-trunk-debug.yml b/.github/workflows/linux-530-trunk-debug.yml
index 25a05028..5a0ac72d 100644
--- a/.github/workflows/linux-530-trunk-debug.yml
+++ b/.github/workflows/linux-530-trunk-debug.yml
@@ -1,4 +1,4 @@
-name: Linux trunk debug
+name: Linux 5.3 debug
 
 on:
   schedule:
@@ -15,7 +15,7 @@ jobs:
     uses: ./.github/workflows/common.yml
     with:
       compiler: 'ocaml-variants.5.3.0+trunk'
-      compiler_git_ref: refs/heads/trunk
+      compiler_git_ref: refs/heads/5.3
       dune_profile: 'debug-runtime'
       runparam: 's=4096,v=0,V=1'
       timeout: 240
diff --git a/.github/workflows/linux-530-trunk-fp.yml b/.github/workflows/linux-530-trunk-fp.yml
index e4d4d105..463a7d42 100644
--- a/.github/workflows/linux-530-trunk-fp.yml
+++ b/.github/workflows/linux-530-trunk-fp.yml
@@ -1,4 +1,4 @@
-name: FP trunk
+name: FP 5.3
 
 on:
   schedule:
@@ -15,5 +15,5 @@ jobs:
     uses: ./.github/workflows/common.yml
     with:
       compiler: 'ocaml-variants.5.3.0+trunk,ocaml-option-fp'
-      compiler_git_ref: refs/heads/trunk
+      compiler_git_ref: refs/heads/5.3
       timeout: 240
diff --git a/.github/workflows/linux-530-trunk.yml b/.github/workflows/linux-530-trunk.yml
index 71a805cc..5c2a71a3 100644
--- a/.github/workflows/linux-530-trunk.yml
+++ b/.github/workflows/linux-530-trunk.yml
@@ -1,4 +1,4 @@
-name: Linux trunk
+name: Linux 5.3
 
 on:
   schedule:
@@ -15,4 +15,4 @@ jobs:
     uses: ./.github/workflows/common.yml
     with:
       compiler: 'ocaml-variants.5.3.0+trunk'
-      compiler_git_ref: refs/heads/trunk
+      compiler_git_ref: refs/heads/5.3
diff --git a/.github/workflows/linux-540-trunk.yml b/.github/workflows/linux-540-trunk.yml
new file mode 100644
index 00000000..71a805cc
--- /dev/null
+++ b/.github/workflows/linux-540-trunk.yml
@@ -0,0 +1,18 @@
+name: Linux trunk
+
+on:
+  schedule:
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
+  pull_request:
+  push:
+    branches:
+      - main
+  workflow_dispatch:
+
+jobs:
+  build:
+    uses: ./.github/workflows/common.yml
+    with:
+      compiler: 'ocaml-variants.5.3.0+trunk'
+      compiler_git_ref: refs/heads/trunk
diff --git a/.github/workflows/macosx-arm64-530-trunk.yml b/.github/workflows/macosx-arm64-530-trunk.yml
index 8f3ffa1b..ae3e32a2 100644
--- a/.github/workflows/macosx-arm64-530-trunk.yml
+++ b/.github/workflows/macosx-arm64-530-trunk.yml
@@ -1,4 +1,4 @@
-name: macOS-ARM64 trunk
+name: macOS-ARM64 5.3
 
 on:
   schedule:
@@ -15,5 +15,5 @@ jobs:
     uses: ./.github/workflows/common.yml
     with:
       compiler: 'ocaml-variants.5.3.0+trunk'
-      compiler_git_ref: refs/heads/trunk
+      compiler_git_ref: refs/heads/5.3
       runs_on: 'macos-14'
diff --git a/.github/workflows/macosx-intel-530-trunk.yml b/.github/workflows/macosx-intel-530-trunk.yml
index 197b4799..767eeb5f 100644
--- a/.github/workflows/macosx-intel-530-trunk.yml
+++ b/.github/workflows/macosx-intel-530-trunk.yml
@@ -1,4 +1,4 @@
-name: macOS-intel trunk
+name: macOS-intel 5.3
 
 on:
   schedule:
@@ -15,5 +15,5 @@ jobs:
     uses: ./.github/workflows/common.yml
     with:
       compiler: 'ocaml-variants.5.3.0+trunk'
-      compiler_git_ref: refs/heads/trunk
+      compiler_git_ref: refs/heads/5.3
       runs_on: 'macos-13'
diff --git a/.github/workflows/mingw-530-trunk-bytecode.yml b/.github/workflows/mingw-530-trunk-bytecode.yml
index 2d9cec71..7ddb36b5 100644
--- a/.github/workflows/mingw-530-trunk-bytecode.yml
+++ b/.github/workflows/mingw-530-trunk-bytecode.yml
@@ -1,4 +1,4 @@
-name: MinGW bytecode trunk
+name: MinGW bytecode 5.3
 
 on:
   schedule:
@@ -16,5 +16,5 @@ jobs:
     with:
       runs_on: windows-latest
       compiler: ocaml.5.3.0,ocaml-option-mingw,ocaml-option-bytecode-only
-      compiler_git_ref: refs/heads/trunk
+      compiler_git_ref: refs/heads/5.3
       timeout: 240
diff --git a/.github/workflows/mingw-530-trunk.yml b/.github/workflows/mingw-530-trunk.yml
index eb4c0031..64968630 100644
--- a/.github/workflows/mingw-530-trunk.yml
+++ b/.github/workflows/mingw-530-trunk.yml
@@ -1,4 +1,4 @@
-name: MinGW trunk
+name: MinGW 5.3
 
 on:
   schedule:
@@ -16,5 +16,5 @@ jobs:
     with:
       runs_on: windows-latest
       compiler: ocaml.5.3.0,ocaml-option-mingw
-      compiler_git_ref: refs/heads/trunk
+      compiler_git_ref: refs/heads/5.3
       timeout: 240

From ba7a90b2a5acac6745f75ae6d11f04f50915a486 Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Wed, 28 Aug 2024 16:33:53 +0200
Subject: [PATCH 03/10] Add Linux 5.4 workflows

---
 .github/workflows/linux-540-trunk-32bit.yml   | 19 +++++++++++++++++
 .../workflows/linux-540-trunk-bytecode.yml    | 19 +++++++++++++++++
 .github/workflows/linux-540-trunk-debug.yml   | 21 +++++++++++++++++++
 .github/workflows/linux-540-trunk-fp.yml      | 19 +++++++++++++++++
 .github/workflows/linux-540-trunk.yml         |  2 +-
 5 files changed, 79 insertions(+), 1 deletion(-)
 create mode 100644 .github/workflows/linux-540-trunk-32bit.yml
 create mode 100644 .github/workflows/linux-540-trunk-bytecode.yml
 create mode 100644 .github/workflows/linux-540-trunk-debug.yml
 create mode 100644 .github/workflows/linux-540-trunk-fp.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..4337b970
--- /dev/null
+++ b/.github/workflows/linux-540-trunk-32bit.yml
@@ -0,0 +1,19 @@
+name: 32bit trunk
+
+on:
+  schedule:
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
+  pull_request:
+  push:
+    branches:
+      - main
+  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
+      timeout: 240
diff --git a/.github/workflows/linux-540-trunk-bytecode.yml b/.github/workflows/linux-540-trunk-bytecode.yml
new file mode 100644
index 00000000..da008f24
--- /dev/null
+++ b/.github/workflows/linux-540-trunk-bytecode.yml
@@ -0,0 +1,19 @@
+name: Bytecode trunk
+
+on:
+  schedule:
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
+  pull_request:
+  push:
+    branches:
+      - main
+  workflow_dispatch:
+
+jobs:
+  build:
+    uses: ./.github/workflows/common.yml
+    with:
+      compiler: 'ocaml-variants.5.4.0+trunk,ocaml-option-bytecode-only'
+      compiler_git_ref: refs/heads/trunk
+      timeout: 240
diff --git a/.github/workflows/linux-540-trunk-debug.yml b/.github/workflows/linux-540-trunk-debug.yml
new file mode 100644
index 00000000..2f78f573
--- /dev/null
+++ b/.github/workflows/linux-540-trunk-debug.yml
@@ -0,0 +1,21 @@
+name: Linux trunk debug
+
+on:
+  schedule:
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
+  pull_request:
+  push:
+    branches:
+      - main
+  workflow_dispatch:
+
+jobs:
+  build:
+    uses: ./.github/workflows/common.yml
+    with:
+      compiler: 'ocaml-variants.5.4.0+trunk'
+      compiler_git_ref: refs/heads/trunk
+      dune_profile: 'debug-runtime'
+      runparam: 's=4096,v=0,V=1'
+      timeout: 240
diff --git a/.github/workflows/linux-540-trunk-fp.yml b/.github/workflows/linux-540-trunk-fp.yml
new file mode 100644
index 00000000..8c8eb742
--- /dev/null
+++ b/.github/workflows/linux-540-trunk-fp.yml
@@ -0,0 +1,19 @@
+name: FP trunk
+
+on:
+  schedule:
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
+  pull_request:
+  push:
+    branches:
+      - main
+  workflow_dispatch:
+
+jobs:
+  build:
+    uses: ./.github/workflows/common.yml
+    with:
+      compiler: 'ocaml-variants.5.4.0+trunk,ocaml-option-fp'
+      compiler_git_ref: refs/heads/trunk
+      timeout: 240
diff --git a/.github/workflows/linux-540-trunk.yml b/.github/workflows/linux-540-trunk.yml
index 71a805cc..4aeb4749 100644
--- a/.github/workflows/linux-540-trunk.yml
+++ b/.github/workflows/linux-540-trunk.yml
@@ -14,5 +14,5 @@ jobs:
   build:
     uses: ./.github/workflows/common.yml
     with:
-      compiler: 'ocaml-variants.5.3.0+trunk'
+      compiler: 'ocaml-variants.5.4.0+trunk'
       compiler_git_ref: refs/heads/trunk

From 22c85bdfd98026b40a1719da39c0d1de50986629 Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Wed, 28 Aug 2024 16:40:44 +0200
Subject: [PATCH 04/10] Add 5.4.0+trunk macOS workflows

---
 .github/workflows/macosx-arm64-540-trunk.yml | 19 +++++++++++++++++++
 .github/workflows/macosx-intel-540-trunk.yml | 19 +++++++++++++++++++
 2 files changed, 38 insertions(+)
 create mode 100644 .github/workflows/macosx-arm64-540-trunk.yml
 create mode 100644 .github/workflows/macosx-intel-540-trunk.yml

diff --git a/.github/workflows/macosx-arm64-540-trunk.yml b/.github/workflows/macosx-arm64-540-trunk.yml
new file mode 100644
index 00000000..308feeaf
--- /dev/null
+++ b/.github/workflows/macosx-arm64-540-trunk.yml
@@ -0,0 +1,19 @@
+name: macOS-ARM64 trunk
+
+on:
+  schedule:
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
+  pull_request:
+  push:
+    branches:
+      - main
+  workflow_dispatch:
+
+jobs:
+  build:
+    uses: ./.github/workflows/common.yml
+    with:
+      compiler: 'ocaml-variants.5.4.0+trunk'
+      compiler_git_ref: refs/heads/trunk
+      runs_on: 'macos-14'
diff --git a/.github/workflows/macosx-intel-540-trunk.yml b/.github/workflows/macosx-intel-540-trunk.yml
new file mode 100644
index 00000000..e5f059df
--- /dev/null
+++ b/.github/workflows/macosx-intel-540-trunk.yml
@@ -0,0 +1,19 @@
+name: macOS-intel trunk
+
+on:
+  schedule:
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
+  pull_request:
+  push:
+    branches:
+      - main
+  workflow_dispatch:
+
+jobs:
+  build:
+    uses: ./.github/workflows/common.yml
+    with:
+      compiler: 'ocaml-variants.5.4.0+trunk'
+      compiler_git_ref: refs/heads/trunk
+      runs_on: 'macos-13'

From 9b56a04f3bc98090ce51105ec7c75a5534fe6c74 Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Wed, 28 Aug 2024 16:46:00 +0200
Subject: [PATCH 05/10] Add MinGW 5.4.0+trunk workflows

---
 .../workflows/mingw-540-trunk-bytecode.yml    | 20 +++++++++++++++++++
 .github/workflows/mingw-540-trunk.yml         | 20 +++++++++++++++++++
 2 files changed, 40 insertions(+)
 create mode 100644 .github/workflows/mingw-540-trunk-bytecode.yml
 create mode 100644 .github/workflows/mingw-540-trunk.yml

diff --git a/.github/workflows/mingw-540-trunk-bytecode.yml b/.github/workflows/mingw-540-trunk-bytecode.yml
new file mode 100644
index 00000000..1fe6cfb6
--- /dev/null
+++ b/.github/workflows/mingw-540-trunk-bytecode.yml
@@ -0,0 +1,20 @@
+name: MinGW bytecode trunk
+
+on:
+  schedule:
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
+  pull_request:
+  push:
+    branches:
+      - main
+  workflow_dispatch:
+
+jobs:
+  build:
+    uses: ./.github/workflows/common.yml
+    with:
+      runs_on: windows-latest
+      compiler: ocaml.5.4.0,ocaml-option-mingw,ocaml-option-bytecode-only
+      compiler_git_ref: refs/heads/trunk
+      timeout: 240
diff --git a/.github/workflows/mingw-540-trunk.yml b/.github/workflows/mingw-540-trunk.yml
new file mode 100644
index 00000000..4d48590b
--- /dev/null
+++ b/.github/workflows/mingw-540-trunk.yml
@@ -0,0 +1,20 @@
+name: MinGW trunk
+
+on:
+  schedule:
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
+  pull_request:
+  push:
+    branches:
+      - main
+  workflow_dispatch:
+
+jobs:
+  build:
+    uses: ./.github/workflows/common.yml
+    with:
+      runs_on: windows-latest
+      compiler: ocaml.5.4.0,ocaml-option-mingw
+      compiler_git_ref: refs/heads/trunk
+      timeout: 240

From b3d3b8a348fc553812afc7b46a74be944003e4c1 Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Wed, 28 Aug 2024 16:58:46 +0200
Subject: [PATCH 06/10] Add MSVC 5.4.0+trunk workflows and adjust the 5.3 ones

---
 .github/workflows/msvc-530-trunk-bytecode.yml |  3 ++-
 .github/workflows/msvc-530-trunk.yml          |  4 +++-
 .github/workflows/msvc-540-trunk-bytecode.yml | 18 ++++++++++++++++++
 .github/workflows/msvc-540-trunk.yml          | 17 +++++++++++++++++
 .github/workflows/msvc-common.yml             |  9 ++++++++-
 5 files changed, 48 insertions(+), 3 deletions(-)
 create mode 100644 .github/workflows/msvc-540-trunk-bytecode.yml
 create mode 100644 .github/workflows/msvc-540-trunk.yml

diff --git a/.github/workflows/msvc-530-trunk-bytecode.yml b/.github/workflows/msvc-530-trunk-bytecode.yml
index cb9c041b..608ca662 100644
--- a/.github/workflows/msvc-530-trunk-bytecode.yml
+++ b/.github/workflows/msvc-530-trunk-bytecode.yml
@@ -1,4 +1,4 @@
-name: MSVC bytecode trunk
+name: MSVC bytecode 5.3
 
 on:
   schedule:
@@ -15,3 +15,4 @@ jobs:
     uses: ./.github/workflows/msvc-common.yml
     with:
       bytecodeonly: true
+      compiler_ref: '5.3'
diff --git a/.github/workflows/msvc-530-trunk.yml b/.github/workflows/msvc-530-trunk.yml
index cea60f51..0c101498 100644
--- a/.github/workflows/msvc-530-trunk.yml
+++ b/.github/workflows/msvc-530-trunk.yml
@@ -1,4 +1,4 @@
-name: MSVC trunk
+name: MSVC 5.3
 
 on:
   schedule:
@@ -13,3 +13,5 @@ on:
 jobs:
   build:
     uses: ./.github/workflows/msvc-common.yml
+    with:
+      compiler_ref: '5.3'
diff --git a/.github/workflows/msvc-540-trunk-bytecode.yml b/.github/workflows/msvc-540-trunk-bytecode.yml
new file mode 100644
index 00000000..b4960104
--- /dev/null
+++ b/.github/workflows/msvc-540-trunk-bytecode.yml
@@ -0,0 +1,18 @@
+name: MSVC bytecode trunk
+
+on:
+  schedule:
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
+  pull_request:
+  push:
+    branches:
+      - main
+  workflow_dispatch:
+
+jobs:
+  build:
+    uses: ./.github/workflows/msvc-common.yml
+    with:
+      bytecodeonly: true
+      compiler_ref: 'trunk'
diff --git a/.github/workflows/msvc-540-trunk.yml b/.github/workflows/msvc-540-trunk.yml
new file mode 100644
index 00000000..131437de
--- /dev/null
+++ b/.github/workflows/msvc-540-trunk.yml
@@ -0,0 +1,17 @@
+name: MSVC trunk
+
+on:
+  schedule:
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
+  pull_request:
+  push:
+    branches:
+      - main
+  workflow_dispatch:
+
+jobs:
+  build:
+    uses: ./.github/workflows/msvc-common.yml
+    with:
+      compiler_ref: 'trunk'
diff --git a/.github/workflows/msvc-common.yml b/.github/workflows/msvc-common.yml
index de7aca80..afc45fd5 100644
--- a/.github/workflows/msvc-common.yml
+++ b/.github/workflows/msvc-common.yml
@@ -14,6 +14,13 @@ on:
         description: 'dune alias that should be built in the main step'
         type: string
         default: 'runtest'
+      compiler_ref:
+        description: |
+          Git ref (such as "trunk") of the compiler.
+          This ref will be used to checkout the relevant "ocaml/ocaml" github branch.
+        type: string
+        default: ''
+
 
 jobs:
   build:
@@ -34,7 +41,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           repository: ocaml/ocaml
-          ref: trunk
+          ref: ${{ inputs.compiler_ref }}
           path: ocaml
           submodules: true
 

From 287d739bbad7c30f5aa9279f0a86b38d63b273b1 Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Wed, 28 Aug 2024 17:06:18 +0200
Subject: [PATCH 07/10] Schedule 540+trunk workflows for 3:33

---
 .github/workflows/cygwin-540-trunk.yml         | 4 ++--
 .github/workflows/linux-540-trunk-32bit.yml    | 4 ++--
 .github/workflows/linux-540-trunk-bytecode.yml | 4 ++--
 .github/workflows/linux-540-trunk-debug.yml    | 4 ++--
 .github/workflows/linux-540-trunk-fp.yml       | 4 ++--
 .github/workflows/linux-540-trunk.yml          | 4 ++--
 .github/workflows/macosx-arm64-540-trunk.yml   | 4 ++--
 .github/workflows/macosx-intel-540-trunk.yml   | 4 ++--
 .github/workflows/mingw-540-trunk-bytecode.yml | 4 ++--
 .github/workflows/mingw-540-trunk.yml          | 4 ++--
 .github/workflows/msvc-540-trunk-bytecode.yml  | 4 ++--
 .github/workflows/msvc-540-trunk.yml           | 4 ++--
 12 files changed, 24 insertions(+), 24 deletions(-)

diff --git a/.github/workflows/cygwin-540-trunk.yml b/.github/workflows/cygwin-540-trunk.yml
index 27bde245..b7dd62c0 100644
--- a/.github/workflows/cygwin-540-trunk.yml
+++ b/.github/workflows/cygwin-540-trunk.yml
@@ -2,8 +2,8 @@ name: Cygwin trunk
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 3:33 UTC
+    - cron: '33 3 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/linux-540-trunk-32bit.yml b/.github/workflows/linux-540-trunk-32bit.yml
index 4337b970..455b38e9 100644
--- a/.github/workflows/linux-540-trunk-32bit.yml
+++ b/.github/workflows/linux-540-trunk-32bit.yml
@@ -2,8 +2,8 @@ name: 32bit trunk
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 3:33 UTC
+    - cron: '33 3 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/linux-540-trunk-bytecode.yml b/.github/workflows/linux-540-trunk-bytecode.yml
index da008f24..216a795b 100644
--- a/.github/workflows/linux-540-trunk-bytecode.yml
+++ b/.github/workflows/linux-540-trunk-bytecode.yml
@@ -2,8 +2,8 @@ name: Bytecode trunk
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 3:33 UTC
+    - cron: '33 3 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/linux-540-trunk-debug.yml b/.github/workflows/linux-540-trunk-debug.yml
index 2f78f573..2278edd5 100644
--- a/.github/workflows/linux-540-trunk-debug.yml
+++ b/.github/workflows/linux-540-trunk-debug.yml
@@ -2,8 +2,8 @@ name: Linux trunk debug
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 3:33 UTC
+    - cron: '33 3 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/linux-540-trunk-fp.yml b/.github/workflows/linux-540-trunk-fp.yml
index 8c8eb742..1dc5760e 100644
--- a/.github/workflows/linux-540-trunk-fp.yml
+++ b/.github/workflows/linux-540-trunk-fp.yml
@@ -2,8 +2,8 @@ name: FP trunk
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 3:33 UTC
+    - cron: '33 3 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/linux-540-trunk.yml b/.github/workflows/linux-540-trunk.yml
index 4aeb4749..1ddd3319 100644
--- a/.github/workflows/linux-540-trunk.yml
+++ b/.github/workflows/linux-540-trunk.yml
@@ -2,8 +2,8 @@ name: Linux trunk
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 3:33 UTC
+    - cron: '33 3 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/macosx-arm64-540-trunk.yml b/.github/workflows/macosx-arm64-540-trunk.yml
index 308feeaf..dc4780fd 100644
--- a/.github/workflows/macosx-arm64-540-trunk.yml
+++ b/.github/workflows/macosx-arm64-540-trunk.yml
@@ -2,8 +2,8 @@ name: macOS-ARM64 trunk
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 3:33 UTC
+    - cron: '33 3 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/macosx-intel-540-trunk.yml b/.github/workflows/macosx-intel-540-trunk.yml
index e5f059df..19207ce2 100644
--- a/.github/workflows/macosx-intel-540-trunk.yml
+++ b/.github/workflows/macosx-intel-540-trunk.yml
@@ -2,8 +2,8 @@ name: macOS-intel trunk
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 3:33 UTC
+    - cron: '33 3 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/mingw-540-trunk-bytecode.yml b/.github/workflows/mingw-540-trunk-bytecode.yml
index 1fe6cfb6..6e95b96b 100644
--- a/.github/workflows/mingw-540-trunk-bytecode.yml
+++ b/.github/workflows/mingw-540-trunk-bytecode.yml
@@ -2,8 +2,8 @@ name: MinGW bytecode trunk
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 3:33 UTC
+    - cron: '33 3 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/mingw-540-trunk.yml b/.github/workflows/mingw-540-trunk.yml
index 4d48590b..82691698 100644
--- a/.github/workflows/mingw-540-trunk.yml
+++ b/.github/workflows/mingw-540-trunk.yml
@@ -2,8 +2,8 @@ name: MinGW trunk
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 3:33 UTC
+    - cron: '33 3 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/msvc-540-trunk-bytecode.yml b/.github/workflows/msvc-540-trunk-bytecode.yml
index b4960104..72be4d26 100644
--- a/.github/workflows/msvc-540-trunk-bytecode.yml
+++ b/.github/workflows/msvc-540-trunk-bytecode.yml
@@ -2,8 +2,8 @@ name: MSVC bytecode trunk
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 3:33 UTC
+    - cron: '33 3 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/msvc-540-trunk.yml b/.github/workflows/msvc-540-trunk.yml
index 131437de..018751b5 100644
--- a/.github/workflows/msvc-540-trunk.yml
+++ b/.github/workflows/msvc-540-trunk.yml
@@ -2,8 +2,8 @@ name: MSVC trunk
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 3:33 UTC
+    - cron: '33 3 * * 1'
   pull_request:
   push:
     branches:

From e525158f6bda58ef5da5e755a0cdbb3ec36b4d35 Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Wed, 28 Aug 2024 17:09:32 +0200
Subject: [PATCH 08/10] Schedule 530 workflows for 2:22

---
 .github/workflows/cygwin-530-trunk.yml         | 4 ++--
 .github/workflows/linux-530-trunk-32bit.yml    | 4 ++--
 .github/workflows/linux-530-trunk-bytecode.yml | 4 ++--
 .github/workflows/linux-530-trunk-debug.yml    | 4 ++--
 .github/workflows/linux-530-trunk-fp.yml       | 4 ++--
 .github/workflows/linux-530-trunk.yml          | 4 ++--
 .github/workflows/macosx-arm64-530-trunk.yml   | 4 ++--
 .github/workflows/macosx-intel-530-trunk.yml   | 4 ++--
 .github/workflows/mingw-530-trunk-bytecode.yml | 4 ++--
 .github/workflows/mingw-530-trunk.yml          | 4 ++--
 .github/workflows/msvc-530-trunk-bytecode.yml  | 4 ++--
 .github/workflows/msvc-530-trunk.yml           | 4 ++--
 12 files changed, 24 insertions(+), 24 deletions(-)

diff --git a/.github/workflows/cygwin-530-trunk.yml b/.github/workflows/cygwin-530-trunk.yml
index 020e37f9..b1b7afd8 100644
--- a/.github/workflows/cygwin-530-trunk.yml
+++ b/.github/workflows/cygwin-530-trunk.yml
@@ -2,8 +2,8 @@ name: Cygwin 5.3
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 2:22 UTC
+    - cron: '22 2 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/linux-530-trunk-32bit.yml b/.github/workflows/linux-530-trunk-32bit.yml
index 3e82cf30..40923a75 100644
--- a/.github/workflows/linux-530-trunk-32bit.yml
+++ b/.github/workflows/linux-530-trunk-32bit.yml
@@ -2,8 +2,8 @@ name: 32bit 5.3
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 2:22 UTC
+    - cron: '22 2 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/linux-530-trunk-bytecode.yml b/.github/workflows/linux-530-trunk-bytecode.yml
index 77036da1..5c696692 100644
--- a/.github/workflows/linux-530-trunk-bytecode.yml
+++ b/.github/workflows/linux-530-trunk-bytecode.yml
@@ -2,8 +2,8 @@ name: Bytecode 5.3
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 2:22 UTC
+    - cron: '22 2 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/linux-530-trunk-debug.yml b/.github/workflows/linux-530-trunk-debug.yml
index 5a0ac72d..5c7a2d29 100644
--- a/.github/workflows/linux-530-trunk-debug.yml
+++ b/.github/workflows/linux-530-trunk-debug.yml
@@ -2,8 +2,8 @@ name: Linux 5.3 debug
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 2:22 UTC
+    - cron: '22 2 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/linux-530-trunk-fp.yml b/.github/workflows/linux-530-trunk-fp.yml
index 463a7d42..3c52e720 100644
--- a/.github/workflows/linux-530-trunk-fp.yml
+++ b/.github/workflows/linux-530-trunk-fp.yml
@@ -2,8 +2,8 @@ name: FP 5.3
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 2:22 UTC
+    - cron: '22 2 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/linux-530-trunk.yml b/.github/workflows/linux-530-trunk.yml
index 5c2a71a3..01c65707 100644
--- a/.github/workflows/linux-530-trunk.yml
+++ b/.github/workflows/linux-530-trunk.yml
@@ -2,8 +2,8 @@ name: Linux 5.3
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 2:22 UTC
+    - cron: '22 2 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/macosx-arm64-530-trunk.yml b/.github/workflows/macosx-arm64-530-trunk.yml
index ae3e32a2..c920d871 100644
--- a/.github/workflows/macosx-arm64-530-trunk.yml
+++ b/.github/workflows/macosx-arm64-530-trunk.yml
@@ -2,8 +2,8 @@ name: macOS-ARM64 5.3
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 2:22 UTC
+    - cron: '22 2 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/macosx-intel-530-trunk.yml b/.github/workflows/macosx-intel-530-trunk.yml
index 767eeb5f..4a4117be 100644
--- a/.github/workflows/macosx-intel-530-trunk.yml
+++ b/.github/workflows/macosx-intel-530-trunk.yml
@@ -2,8 +2,8 @@ name: macOS-intel 5.3
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 2:22 UTC
+    - cron: '22 2 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/mingw-530-trunk-bytecode.yml b/.github/workflows/mingw-530-trunk-bytecode.yml
index 7ddb36b5..8341cc38 100644
--- a/.github/workflows/mingw-530-trunk-bytecode.yml
+++ b/.github/workflows/mingw-530-trunk-bytecode.yml
@@ -2,8 +2,8 @@ name: MinGW bytecode 5.3
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 2:22 UTC
+    - cron: '22 2 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/mingw-530-trunk.yml b/.github/workflows/mingw-530-trunk.yml
index 64968630..22d580c7 100644
--- a/.github/workflows/mingw-530-trunk.yml
+++ b/.github/workflows/mingw-530-trunk.yml
@@ -2,8 +2,8 @@ name: MinGW 5.3
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 2:22 UTC
+    - cron: '22 2 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/msvc-530-trunk-bytecode.yml b/.github/workflows/msvc-530-trunk-bytecode.yml
index 608ca662..251738ed 100644
--- a/.github/workflows/msvc-530-trunk-bytecode.yml
+++ b/.github/workflows/msvc-530-trunk-bytecode.yml
@@ -2,8 +2,8 @@ name: MSVC bytecode 5.3
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 2:22 UTC
+    - cron: '22 2 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/msvc-530-trunk.yml b/.github/workflows/msvc-530-trunk.yml
index 0c101498..24dda9dd 100644
--- a/.github/workflows/msvc-530-trunk.yml
+++ b/.github/workflows/msvc-530-trunk.yml
@@ -2,8 +2,8 @@ name: MSVC 5.3
 
 on:
   schedule:
-    # Every Monday morning, at 1:11 UTC
-    - cron: '11 1 * * 1'
+    # Every Monday morning, at 2:22 UTC
+    - cron: '22 2 * * 1'
   pull_request:
   push:
     branches:

From ae3421fa512b8ed211c1b76b821acf65f782f64c Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Wed, 28 Aug 2024 17:14:54 +0200
Subject: [PATCH 09/10] Schedule 520 workflows for 1:11

---
 .github/workflows/cygwin-520.yml         | 4 ++--
 .github/workflows/linux-520-32bit.yml    | 4 ++--
 .github/workflows/linux-520-bytecode.yml | 4 ++--
 .github/workflows/linux-520-debug.yml    | 4 ++--
 .github/workflows/linux-520-fp.yml       | 4 ++--
 .github/workflows/linux-520.yml          | 4 ++--
 .github/workflows/macosx-arm64-520.yml   | 4 ++--
 .github/workflows/macosx-intel-520.yml   | 4 ++--
 .github/workflows/mingw-520-bytecode.yml | 4 ++--
 .github/workflows/mingw-520.yml          | 4 ++--
 10 files changed, 20 insertions(+), 20 deletions(-)

diff --git a/.github/workflows/cygwin-520.yml b/.github/workflows/cygwin-520.yml
index e3617187..90cafc59 100644
--- a/.github/workflows/cygwin-520.yml
+++ b/.github/workflows/cygwin-520.yml
@@ -2,8 +2,8 @@ name: Cygwin 5.2
 
 on:
   schedule:
-    # Every Monday morning, at 2:22 UTC
-    - cron: '22 2 * * 1'
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/linux-520-32bit.yml b/.github/workflows/linux-520-32bit.yml
index 3b70e863..76bf62b1 100644
--- a/.github/workflows/linux-520-32bit.yml
+++ b/.github/workflows/linux-520-32bit.yml
@@ -2,8 +2,8 @@ name: 32bit 5.2
 
 on:
   schedule:
-    # Every Monday morning, at 2:22 UTC
-    - cron: '22 2 * * 1'
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/linux-520-bytecode.yml b/.github/workflows/linux-520-bytecode.yml
index 8e1fbcef..564b1592 100644
--- a/.github/workflows/linux-520-bytecode.yml
+++ b/.github/workflows/linux-520-bytecode.yml
@@ -2,8 +2,8 @@ name: Bytecode 5.2
 
 on:
   schedule:
-    # Every Monday morning, at 2:22 UTC
-    - cron: '22 2 * * 1'
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/linux-520-debug.yml b/.github/workflows/linux-520-debug.yml
index af58453c..feb3da1d 100644
--- a/.github/workflows/linux-520-debug.yml
+++ b/.github/workflows/linux-520-debug.yml
@@ -2,8 +2,8 @@ name: Linux 5.2 debug
 
 on:
   schedule:
-    # Every Monday morning, at 2:22 UTC
-    - cron: '22 2 * * 1'
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/linux-520-fp.yml b/.github/workflows/linux-520-fp.yml
index 0260affd..78e7b160 100644
--- a/.github/workflows/linux-520-fp.yml
+++ b/.github/workflows/linux-520-fp.yml
@@ -2,8 +2,8 @@ name: FP 5.2
 
 on:
   schedule:
-    # Every Monday morning, at 2:22 UTC
-    - cron: '22 2 * * 1'
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/linux-520.yml b/.github/workflows/linux-520.yml
index 597f2dd6..026a0d4f 100644
--- a/.github/workflows/linux-520.yml
+++ b/.github/workflows/linux-520.yml
@@ -2,8 +2,8 @@ name: Linux 5.2
 
 on:
   schedule:
-    # Every Monday morning, at 2:22 UTC
-    - cron: '22 2 * * 1'
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/macosx-arm64-520.yml b/.github/workflows/macosx-arm64-520.yml
index ff78e2cb..040164dd 100644
--- a/.github/workflows/macosx-arm64-520.yml
+++ b/.github/workflows/macosx-arm64-520.yml
@@ -2,8 +2,8 @@ name: macOS-ARM64 5.2
 
 on:
   schedule:
-    # Every Monday morning, at 2:22 UTC
-    - cron: '22 2 * * 1'
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/macosx-intel-520.yml b/.github/workflows/macosx-intel-520.yml
index 8702776e..0ecb8c95 100644
--- a/.github/workflows/macosx-intel-520.yml
+++ b/.github/workflows/macosx-intel-520.yml
@@ -2,8 +2,8 @@ name: macOS-intel 5.2
 
 on:
   schedule:
-    # Every Monday morning, at 2:22 UTC
-    - cron: '22 2 * * 1'
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/mingw-520-bytecode.yml b/.github/workflows/mingw-520-bytecode.yml
index 6df0cf2c..7afd758b 100644
--- a/.github/workflows/mingw-520-bytecode.yml
+++ b/.github/workflows/mingw-520-bytecode.yml
@@ -2,8 +2,8 @@ name: MinGW bytecode 5.2
 
 on:
   schedule:
-    # Every Monday morning, at 2:22 UTC
-    - cron: '22 2 * * 1'
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
   pull_request:
   push:
     branches:
diff --git a/.github/workflows/mingw-520.yml b/.github/workflows/mingw-520.yml
index d5703d45..0ad27d86 100644
--- a/.github/workflows/mingw-520.yml
+++ b/.github/workflows/mingw-520.yml
@@ -2,8 +2,8 @@ name: MinGW 5.2
 
 on:
   schedule:
-    # Every Monday morning, at 2:22 UTC
-    - cron: '22 2 * * 1'
+    # Every Monday morning, at 1:11 UTC
+    - cron: '11 1 * * 1'
   pull_request:
   push:
     branches:

From acc1c8109dd259851f0f473a1caebf93be7eef53 Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Wed, 28 Aug 2024 17:21:14 +0200
Subject: [PATCH 10/10] Update badges in README

---
 README.md | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/README.md b/README.md
index adf5d665..5f641c20 100644
--- a/README.md
+++ b/README.md
@@ -47,6 +47,19 @@ Multicore tests
 [![MSVC 5.3.0+trunk](https://github.com/ocaml-multicore/multicoretests/actions/workflows/msvc-530-trunk.yml/badge.svg)](https://github.com/ocaml-multicore/multicoretests/actions/workflows/msvc-530-trunk.yml)
 [![MSVC 5.3.0+trunk-bytecode](https://github.com/ocaml-multicore/multicoretests/actions/workflows/msvc-530-trunk-bytecode.yml/badge.svg)](https://github.com/ocaml-multicore/multicoretests/actions/workflows/msvc-530-trunk-bytecode.yml)
 
+[![Linux 5.4.0+trunk](https://github.com/ocaml-multicore/multicoretests/actions/workflows/linux-540-trunk.yml/badge.svg)](https://github.com/ocaml-multicore/multicoretests/actions/workflows/linux-540-trunk.yml)
+[![macOS-Intel 5.4.0+trunk](https://github.com/ocaml-multicore/multicoretests/actions/workflows/macosx-intel-540-trunk.yml/badge.svg)](https://github.com/ocaml-multicore/multicoretests/actions/workflows/macosx-intel-540-trunk.yml)
+[![macOS-ARM64 5.4.0+trunk](https://github.com/ocaml-multicore/multicoretests/actions/workflows/macosx-arm64-540-trunk.yml/badge.svg)](https://github.com/ocaml-multicore/multicoretests/actions/workflows/macosx-arm64-540-trunk.yml)
+[![Linux 5.4.0+trunk-bytecode](https://github.com/ocaml-multicore/multicoretests/actions/workflows/linux-540-trunk-bytecode.yml/badge.svg)](https://github.com/ocaml-multicore/multicoretests/actions/workflows/linux-540-trunk-bytecode.yml)
+[![Linux 5.4.0+trunk-debug](https://github.com/ocaml-multicore/multicoretests/actions/workflows/linux-540-trunk-debug.yml/badge.svg)](https://github.com/ocaml-multicore/multicoretests/actions/workflows/linux-540-trunk-debug.yml)
+[![Linux 32-bit 5.4.0+trunk](https://github.com/ocaml-multicore/multicoretests/actions/workflows/linux-540-trunk-32bit.yml/badge.svg)](https://github.com/ocaml-multicore/multicoretests/actions/workflows/linux-540-trunk-32bit.yml)
+[![Linux FP 5.4.0+trunk](https://github.com/ocaml-multicore/multicoretests/actions/workflows/linux-540-trunk-fp.yml/badge.svg)](https://github.com/ocaml-multicore/multicoretests/actions/workflows/linux-540-trunk-fp.yml)
+[![MinGW 5.4.0+trunk](https://github.com/ocaml-multicore/multicoretests/actions/workflows/mingw-540-trunk.yml/badge.svg)](https://github.com/ocaml-multicore/multicoretests/actions/workflows/mingw-540-trunk.yml)
+[![MinGW 5.4.0+trunk-bytecode](https://github.com/ocaml-multicore/multicoretests/actions/workflows/mingw-540-trunk-bytecode.yml/badge.svg)](https://github.com/ocaml-multicore/multicoretests/actions/workflows/mingw-540-trunk-bytecode.yml)
+[![Cygwin 5.4.0+trunk](https://github.com/ocaml-multicore/multicoretests/actions/workflows/cygwin-540-trunk.yml/badge.svg)](https://github.com/ocaml-multicore/multicoretests/actions/workflows/cygwin-540-trunk.yml)
+[![MSVC 5.4.0+trunk](https://github.com/ocaml-multicore/multicoretests/actions/workflows/msvc-540-trunk.yml/badge.svg)](https://github.com/ocaml-multicore/multicoretests/actions/workflows/msvc-540-trunk.yml)
+[![MSVC 5.4.0+trunk-bytecode](https://github.com/ocaml-multicore/multicoretests/actions/workflows/msvc-540-trunk-bytecode.yml/badge.svg)](https://github.com/ocaml-multicore/multicoretests/actions/workflows/msvc-540-trunk-bytecode.yml)
+
 Property-based tests of (parts of) the OCaml multicore compiler and run time.
 
 This project contains