Skip to content

Remove 32-bit test support? #415

Description

@jmid

The opam-ci and the opam-repo-ci has dropped testing the 32-bit platforms now (x86_32 and arm32):
https://discuss.ocaml.org/t/dropping-some-intermediate-ocaml-versions-from-ci/17947

As a consequence I also see now the 32-bit check in our CI is failing due to a missing 32-bit image:
https://github.com/c-cube/qcheck/actions/runs/25941472856/job/76259828664

  Unable to find image 'ocaml/opam:debian-12-ocaml-5.4' locally
  debian-12-ocaml-5.4: Pulling from ocaml/opam
  no matching manifest for linux/386 in the manifest list entries

I see two options

  • dropping 32-bit test support from QCheck -- which will ease maintenance a bit by cutting one dimension out of the {ocaml4,ocaml5} x {32-bit,64-bit} matrix, or
  • find a workaround for the missing 32-bit docker image and continue as previously.

I'm inclined to go with the first option because it is less hassle. QCheck will likely continue to work in 32-bit mode - we'll just stop insisting our internal test suite runs in 32-bit mode.

Before doing so, I'd like to understand if anyone out there uses or relies on QCheck in 32-bit mode. Please speak up! 🙏

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions