Remove 32-bit from internal test suite

.github/workflows/main.yml

@@ -42,33 +42,3 @@ jobs:
       - run: opam install . --deps-only --with-test
       - run: opam exec -- dune build
       - run: opam exec -- dune runtest
-
-  i386:
-    strategy:
-      fail-fast: false
-      matrix:
-        container-image:
-          - ocaml/opam:debian-12-ocaml-4.14
-          - ocaml/opam:debian-12-ocaml-5.4
-    runs-on: ubuntu-latest
-    container:
-      image: ${{ matrix.container-image }}
-      options: --platform linux/i386
-    steps:
-      # GitHub insists on HOME=/github/home which clashes with the opam image setup
-      - name: Setup, init, and update opam
-        run: |
-          sudo cp /usr/bin/opam-2.3 /usr/bin/opam
-          cd /home/opam && HOME=/home/opam opam init -y
-          git -C /home/opam/opam-repository pull origin master && HOME=/home/opam opam update -y
-      - name: Checkout repository
-        # See https://github.com/actions/checkout/issues/334
-        uses: actions/checkout@v1
-      - name: Setup repo and install dependencies
-        run: |
-          sudo chown -R opam:opam .
-          HOME=/home/opam opam install . --deps-only --with-test
-      - name: Build
-        run: HOME=/home/opam opam exec -- dune build
-      - name: Run the testsuite
-        run: HOME=/home/opam opam exec -- dune runtest

CHANGELOG.md

@@ -56,6 +56,8 @@
 - Disabled duplicated pretty-printed feedback when using `QCheck_alcotest` runner
 - Fixed the overflow bug when `~count > max_int - 200` affecting `Test.{make_cell,make,make_neg}` in both QCheck and QCheck2
 - Add a documentation warning about the precedence of `==>` to `QCheck` and `QCheck2`
+- Remove 32-bit support from QCheck's internal test suite. The libraries
+  themselves are expected to continue running on 32-bit platforms.
 
 
 ## 0.91 (2025-12-21)

example/alcotest/dune

@@ -1,19 +1,11 @@
 (rule
- (enabled_if (and (= %{arch_sixtyfour} true) (>= %{ocaml_version} 5)))
+ (enabled_if (>= %{ocaml_version} 5))
  (action (copy QCheck_alcotest_test.expected.ocaml5.64 QCheck_alcotest_test.expected)))
 
 (rule
- (enabled_if (and (= %{arch_sixtyfour} false) (>= %{ocaml_version} 5)))
- (action (copy QCheck_alcotest_test.expected.ocaml5.32 QCheck_alcotest_test.expected)))
-
-(rule
- (enabled_if (and (= %{arch_sixtyfour} true) (< %{ocaml_version} 5)))
+ (enabled_if (< %{ocaml_version} 5))
  (action (copy QCheck_alcotest_test.expected.ocaml4.64 QCheck_alcotest_test.expected)))
 
-(rule
- (enabled_if (and (= %{arch_sixtyfour} false) (< %{ocaml_version} 5)))
- (action (copy QCheck_alcotest_test.expected.ocaml4.32 QCheck_alcotest_test.expected)))
-
 (executable
  (name QCheck_alcotest_test)
  (libraries qcheck-core qcheck-alcotest alcotest))

example/dune

@@ -1,19 +1,11 @@
 (rule
- (enabled_if (and (= %{arch_sixtyfour} true) (>= %{ocaml_version} 5)))
+ (enabled_if (>= %{ocaml_version} 5))
  (action (copy QCheck_runner_test.expected.ocaml5.64 QCheck_runner_test.expected)))
 
 (rule
- (enabled_if (and (= %{arch_sixtyfour} false) (>= %{ocaml_version} 5)))
- (action (copy QCheck_runner_test.expected.ocaml5.32 QCheck_runner_test.expected)))
-
-(rule
- (enabled_if (and (= %{arch_sixtyfour} true) (< %{ocaml_version} 5)))
+ (enabled_if (< %{ocaml_version} 5))
  (action (copy QCheck_runner_test.expected.ocaml4.64 QCheck_runner_test.expected)))
 
-(rule
- (enabled_if (and (= %{arch_sixtyfour} false) (< %{ocaml_version} 5)))
- (action (copy QCheck_runner_test.expected.ocaml4.32 QCheck_runner_test.expected)))
-
 ;; implicitly compared against QCheck_runner_test.expected
 (test
  (enabled_if (= %{os_type} "Unix"))