Add 5.1.1, 5.1.0, and 5.0.0 workflows

ocaml-multicore · Jun 3, 2024 · 8a668e1 · 8a668e1
1 parent a0c2f9f
commit 8a668e1
Show file tree

Hide file tree

Showing 3 changed files with 45 additions and 0 deletions.
diff --git a/.github/workflows/linux-500-32bit.yml b/.github/workflows/linux-500-32bit.yml
@@ -0,0 +1,15 @@
+name: 32bit 5.0.0
+
+on:
+  pull_request:
+  push:
+  workflow_dispatch:
+
+jobs:
+  build:
+    uses: ./.github/workflows/common.yml
+    with:
+      compiler: 'ocaml-variants.5.0.0+options,ocaml-option-32bit'
+      dune_profile: 'debug-runtime'
+      runparam: 's=4096,v=0,V=1'
+      timeout: 240
diff --git a/.github/workflows/linux-510-32bit.yml b/.github/workflows/linux-510-32bit.yml
@@ -0,0 +1,15 @@
+name: 32bit 5.1.0
+
+on:
+  pull_request:
+  push:
+  workflow_dispatch:
+
+jobs:
+  build:
+    uses: ./.github/workflows/common.yml
+    with:
+      compiler: 'ocaml-variants.5.1.0+options,ocaml-option-32bit'
+      dune_profile: 'debug-runtime'
+      runparam: 's=4096,v=0,V=1'
+      timeout: 240
diff --git a/.github/workflows/linux-511-32bit.yml b/.github/workflows/linux-511-32bit.yml
@@ -0,0 +1,15 @@
+name: 32bit 5.1.1
+
+on:
+  pull_request:
+  push:
+  workflow_dispatch:
+
+jobs:
+  build:
+    uses: ./.github/workflows/common.yml
+    with:
+      compiler: 'ocaml-variants.5.1.1+options,ocaml-option-32bit'
+      dune_profile: 'debug-runtime'
+      runparam: 's=4096,v=0,V=1'
+      timeout: 240