diff --git a/.github/workflows/linux-520-32bit-debug.yml b/.github/workflows/linux-520-32bit-debug.yml new file mode 100644 index 00000000..5443bd04 --- /dev/null +++ b/.github/workflows/linux-520-32bit-debug.yml @@ -0,0 +1,17 @@ +name: 32bit 5.2 debug + +on: + pull_request: + push: + branches: + - main + workflow_dispatch: + +jobs: + build: + uses: ./.github/workflows/common.yml + with: + compiler: 'ocaml-variants.5.2.0+options,ocaml-option-32bit' + dune_profile: 'debug-runtime' + runparam: 's=4096,v=0,V=1' + timeout: 240 diff --git a/.github/workflows/linux-530-trunk-32bit-debug.yml b/.github/workflows/linux-530-trunk-32bit-debug.yml new file mode 100644 index 00000000..787d4819 --- /dev/null +++ b/.github/workflows/linux-530-trunk-32bit-debug.yml @@ -0,0 +1,18 @@ +name: 32bit trunk debug + +on: + pull_request: + push: + branches: + - main + workflow_dispatch: + +jobs: + build: + uses: ./.github/workflows/common.yml + with: + compiler: 'ocaml-variants.5.3.0+trunk,ocaml-option-32bit' + compiler_git_ref: refs/heads/trunk + dune_profile: 'debug-runtime' + runparam: 's=4096,v=0,V=1' + timeout: 240