diff --git a/.github/workflows/common.yml b/.github/workflows/common.yml index 15157a2f..40993ddc 100644 --- a/.github/workflows/common.yml +++ b/.github/workflows/common.yml @@ -85,6 +85,9 @@ jobs: # CUSTOM_COMPILER_SRC: 'https://github.com/ocaml/ocaml/archive/refs/pull/12345/head.tar.gz' runs-on: ${{ inputs.runs_on }} + container: + image: debian:12 + options: --platform linux/i386 --user root timeout-minutes: ${{ inputs.timeout }} diff --git a/.github/workflows/linux-520-32bit.yml b/.github/workflows/linux-520-32bit.yml index 7f7ff3bb..67d26cca 100644 --- a/.github/workflows/linux-520-32bit.yml +++ b/.github/workflows/linux-520-32bit.yml @@ -13,6 +13,3 @@ jobs: dune_profile: 'debug-runtime' runparam: 's=4096,o=20,v=0,V=1' timeout: 240 - container: - image: debian:12 - options: --platform linux/i386 --user root diff --git a/.github/workflows/linux-530-trunk-32bit.yml b/.github/workflows/linux-530-trunk-32bit.yml index 605b36b7..094cdf51 100644 --- a/.github/workflows/linux-530-trunk-32bit.yml +++ b/.github/workflows/linux-530-trunk-32bit.yml @@ -14,6 +14,3 @@ jobs: dune_profile: 'debug-runtime' runparam: 's=4096,o=20,v=0,V=1' timeout: 240 - container: - image: debian:12 - options: --platform linux/i386 --user root