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