Update workflows to 5.5.0 and 5.6.0

.github/workflows/cygwin-550-trunk.yml

@@ -1,4 +1,4 @@
-name: Cygwin trunk
+name: Cygwin 5.5
 
 on:
   schedule:
@@ -16,5 +16,5 @@ jobs:
     with:
       runs_on: windows-latest
       platform: cygwin
-      compiler_ref: refs/heads/trunk
+      compiler_ref: refs/heads/5.5
       timeout: 240

.github/workflows/cygwin-530-trunk.yml → .github/workflows/cygwin-560-trunk.yml

@@ -1,9 +1,9 @@
-name: Cygwin 5.3
+name: Cygwin trunk
 
 on:
   schedule:
-    # Every Monday morning, at 2:22 UTC
-    - cron: '22 2 * * 1'
+    # Every Monday morning, at 5:55 UTC
+    - cron: '55 5 * * 1'
   pull_request:
   push:
     branches:
@@ -16,5 +16,5 @@ jobs:
     with:
       runs_on: windows-latest
       platform: cygwin
-      compiler_ref: refs/heads/5.3
+      compiler_ref: refs/heads/trunk
       timeout: 240

.github/workflows/linux-550-trunk-32bit.yml

@@ -1,4 +1,4 @@
-name: 32bit trunk
+name: 32bit 5.5
 
 on:
   schedule:
@@ -14,6 +14,6 @@ jobs:
   build:
     uses: ./.github/workflows/common.yml
     with:
-      compiler_ref: refs/heads/trunk
+      compiler_ref: refs/heads/5.5
       options: 32bit
       timeout: 240

.github/workflows/linux-550-trunk-arm64.yml

@@ -1,4 +1,4 @@
-name: Linux-ARM64 trunk
+name: Linux-ARM64 5.5
 
 on:
   schedule:
@@ -15,4 +15,4 @@ jobs:
     uses: ./.github/workflows/common.yml
     with:
       runs_on: 'ubuntu-24.04-arm'
-      compiler_ref: refs/heads/trunk
+      compiler_ref: refs/heads/5.5

.github/workflows/linux-550-trunk-bytecode.yml

@@ -1,4 +1,4 @@
-name: Bytecode trunk
+name: Bytecode 5.5
 
 on:
   schedule:
@@ -14,6 +14,6 @@ jobs:
   build:
     uses: ./.github/workflows/common.yml
     with:
-      compiler_ref: refs/heads/trunk
+      compiler_ref: refs/heads/5.5
       options: bytecode-only
       timeout: 240

.github/workflows/linux-550-trunk-debug.yml

@@ -1,4 +1,4 @@
-name: Linux trunk debug
+name: Linux 5.5 debug
 
 on:
   schedule:
@@ -14,7 +14,7 @@ jobs:
   build:
     uses: ./.github/workflows/common.yml
     with:
-      compiler_ref: refs/heads/trunk
+      compiler_ref: refs/heads/5.5
       dune_profile: 'debug-runtime'
       runparam: 's=4096,V=1'
       timeout: 240

.github/workflows/linux-550-trunk-fp.yml

@@ -1,4 +1,4 @@
-name: FP trunk
+name: FP 5.5
 
 on:
   schedule:
@@ -14,6 +14,6 @@ jobs:
   build:
     uses: ./.github/workflows/common.yml
     with:
-      compiler_ref: refs/heads/trunk
+      compiler_ref: refs/heads/5.5
       options: fp
       timeout: 240

.github/workflows/linux-550-trunk-musl.yml

@@ -1,4 +1,4 @@
-name: musl trunk
+name: musl 5.5
 
 on:
   schedule:
@@ -14,6 +14,6 @@ jobs:
   build:
     uses: ./.github/workflows/common.yml
     with:
-      compiler_ref: refs/heads/trunk
+      compiler_ref: refs/heads/5.5
       options: musl
       timeout: 240

.github/workflows/linux-550-trunk.yml

@@ -1,4 +1,4 @@
-name: Linux trunk
+name: Linux 5.5
 
 on:
   schedule:
@@ -14,4 +14,4 @@ jobs:
   build:
     uses: ./.github/workflows/common.yml
     with:
-      compiler_ref: refs/heads/trunk
+      compiler_ref: refs/heads/5.5

.github/workflows/linux-530-trunk-32bit.yml → .github/workflows/linux-560-trunk-32bit.yml

@@ -1,9 +1,9 @@
-name: 32bit 5.3
+name: 32bit trunk
 
 on:
   schedule:
-    # Every Monday morning, at 2:22 UTC
-    - cron: '22 2 * * 1'
+    # Every Monday morning, at 5:55 UTC
+    - cron: '55 5 * * 1'
   pull_request:
   push:
     branches:
@@ -14,6 +14,6 @@ jobs:
   build:
     uses: ./.github/workflows/common.yml
     with:
-      compiler_ref: refs/heads/5.3
+      compiler_ref: refs/heads/trunk
       options: 32bit
       timeout: 240

.github/workflows/linux-530-trunk-arm64.yml → .github/workflows/linux-560-trunk-arm64.yml

@@ -1,9 +1,9 @@
-name: Linux-ARM64 5.3
+name: Linux-ARM64 trunk
 
 on:
   schedule:
-    # Every Monday morning, at 2:22 UTC
-    - cron: '22 2 * * 1'
+    # Every Monday morning, at 5:55 UTC
+    - cron: '55 5 * * 1'
   pull_request:
   push:
     branches:
@@ -15,4 +15,4 @@ jobs:
     uses: ./.github/workflows/common.yml
     with:
       runs_on: 'ubuntu-24.04-arm'
-      compiler_ref: refs/heads/5.3
+      compiler_ref: refs/heads/trunk

.github/workflows/linux-530-trunk-bytecode.yml → .github/workflows/linux-560-trunk-bytecode.yml

@@ -1,9 +1,9 @@
-name: Bytecode 5.3
+name: Bytecode trunk
 
 on:
   schedule:
-    # Every Monday morning, at 2:22 UTC
-    - cron: '22 2 * * 1'
+    # Every Monday morning, at 5:55 UTC
+    - cron: '55 5 * * 1'
   pull_request:
   push:
     branches:
@@ -14,6 +14,6 @@ jobs:
   build:
     uses: ./.github/workflows/common.yml
     with:
-      compiler_ref: refs/heads/5.3
+      compiler_ref: refs/heads/trunk
       options: bytecode-only
       timeout: 240

.github/workflows/linux-530-trunk-debug.yml → .github/workflows/linux-560-trunk-debug.yml

@@ -1,9 +1,9 @@
-name: Linux 5.3 debug
+name: Linux trunk debug
 
 on:
   schedule:
-    # Every Monday morning, at 2:22 UTC
-    - cron: '22 2 * * 1'
+    # Every Monday morning, at 5:55 UTC
+    - cron: '55 5 * * 1'
   pull_request:
   push:
     branches:
@@ -14,7 +14,7 @@ jobs:
   build:
     uses: ./.github/workflows/common.yml
     with:
-      compiler_ref: refs/heads/5.3
+      compiler_ref: refs/heads/trunk
       dune_profile: 'debug-runtime'
       runparam: 's=4096,V=1'
       timeout: 240

.github/workflows/linux-530-trunk-fp.yml → .github/workflows/linux-560-trunk-fp.yml

@@ -1,9 +1,9 @@
-name: FP 5.3
+name: FP trunk
 
 on:
   schedule:
-    # Every Monday morning, at 2:22 UTC
-    - cron: '22 2 * * 1'
+    # Every Monday morning, at 5:55 UTC
+    - cron: '55 5 * * 1'
   pull_request:
   push:
     branches:
@@ -14,6 +14,6 @@ jobs:
   build:
     uses: ./.github/workflows/common.yml
     with:
-      compiler_ref: refs/heads/5.3
+      compiler_ref: refs/heads/trunk
       options: fp
       timeout: 240

.github/workflows/linux-530-trunk-musl.yml → .github/workflows/linux-560-trunk-musl.yml

@@ -1,9 +1,9 @@
-name: musl 5.3
+name: musl trunk
 
 on:
   schedule:
-    # Every Monday morning, at 2:22 UTC
-    - cron: '22 2 * * 1'
+    # Every Monday morning, at 5:55 UTC
+    - cron: '55 5 * * 1'
   pull_request:
   push:
     branches:
@@ -14,6 +14,6 @@ jobs:
   build:
     uses: ./.github/workflows/common.yml
     with:
-      compiler_ref: refs/heads/5.3
+      compiler_ref: refs/heads/trunk
       options: musl
       timeout: 240

.github/workflows/linux-530-trunk.yml → .github/workflows/linux-560-trunk.yml

@@ -1,9 +1,9 @@
-name: Linux 5.3
+name: Linux trunk
 
 on:
   schedule:
-    # Every Monday morning, at 2:22 UTC
-    - cron: '22 2 * * 1'
+    # Every Monday morning, at 5:55 UTC
+    - cron: '55 5 * * 1'
   pull_request:
   push:
     branches:
@@ -14,4 +14,4 @@ jobs:
   build:
     uses: ./.github/workflows/common.yml
     with:
-      compiler_ref: refs/heads/5.3
+      compiler_ref: refs/heads/trunk

.github/workflows/macosx-arm64-550-trunk.yml

@@ -1,4 +1,4 @@
-name: macOS-ARM64 trunk
+name: macOS-ARM64 5.5
 
 on:
   schedule:
@@ -16,4 +16,4 @@ jobs:
     with:
       runs_on: 'macos-14'
       platform: macos
-      compiler_ref: refs/heads/trunk
+      compiler_ref: refs/heads/5.5

.github/workflows/macosx-arm64-530-trunk.yml → .github/workflows/macosx-arm64-560-trunk.yml

@@ -1,9 +1,9 @@
-name: macOS-ARM64 5.3
+name: macOS-ARM64 trunk
 
 on:
   schedule:
-    # Every Monday morning, at 2:22 UTC
-    - cron: '22 2 * * 1'
+    # Every Monday morning, at 5:55 UTC
+    - cron: '55 5 * * 1'
   pull_request:
   push:
     branches:
@@ -16,4 +16,4 @@ jobs:
     with:
       runs_on: 'macos-14'
       platform: macos
-      compiler_ref: refs/heads/5.3
+      compiler_ref: refs/heads/trunk

.github/workflows/macosx-intel-550-trunk.yml

@@ -1,4 +1,4 @@
-name: macOS-intel trunk
+name: macOS-intel 5.5
 
 on:
   schedule:
@@ -16,4 +16,4 @@ jobs:
     with:
       runs_on: 'macos-15-intel'
       platform: macos
-      compiler_ref: refs/heads/trunk
+      compiler_ref: refs/heads/5.5

.github/workflows/macosx-intel-530-trunk.yml → .github/workflows/macosx-intel-560-trunk.yml

@@ -1,9 +1,9 @@
-name: macOS-intel 5.3
+name: macOS-intel trunk
 
 on:
   schedule:
-    # Every Monday morning, at 2:22 UTC
-    - cron: '22 2 * * 1'
+    # Every Monday morning, at 5:55 UTC
+    - cron: '55 5 * * 1'
   pull_request:
   push:
     branches:
@@ -16,4 +16,4 @@ jobs:
     with:
       runs_on: 'macos-15-intel'
       platform: macos
-      compiler_ref: refs/heads/5.3
+      compiler_ref: refs/heads/trunk

.github/workflows/mingw-550-trunk-bytecode.yml

@@ -1,4 +1,4 @@
-name: MinGW bytecode trunk
+name: MinGW bytecode 5.5
 
 on:
   schedule:
@@ -16,6 +16,6 @@ jobs:
     with:
       runs_on: windows-latest
       platform: mingw
-      compiler_ref: refs/heads/trunk
+      compiler_ref: refs/heads/5.5
       options: bytecode-only
       timeout: 240

.github/workflows/mingw-550-trunk.yml

@@ -1,4 +1,4 @@
-name: MinGW trunk
+name: MinGW 5.5
 
 on:
   schedule:
@@ -16,5 +16,5 @@ jobs:
     with:
       runs_on: windows-latest
       platform: mingw
-      compiler_ref: refs/heads/trunk
+      compiler_ref: refs/heads/5.5
       timeout: 240

.github/workflows/mingw-530-trunk-bytecode.yml → .github/workflows/mingw-560-trunk-bytecode.yml

@@ -1,9 +1,9 @@
-name: MinGW bytecode 5.3
+name: MinGW bytecode trunk
 
 on:
   schedule:
-    # Every Monday morning, at 2:22 UTC
-    - cron: '22 2 * * 1'
+    # Every Monday morning, at 5:55 UTC
+    - cron: '55 5 * * 1'
   pull_request:
   push:
     branches:
@@ -16,6 +16,6 @@ jobs:
     with:
       runs_on: windows-latest
       platform: mingw
-      compiler_ref: refs/heads/5.3
+      compiler_ref: refs/heads/trunk
       options: bytecode-only
       timeout: 240