Skip to content

Remove 32-bit from internal test suite - #418

Merged
jmid merged 6 commits into
c-cube:mainfrom
jmid:remove-32bit
Aug 30, 2026
Merged

jmid merged 6 commits into
c-cube:mainfrom
jmid:remove-32bit

Conversation

@jmid

@jmid jmid commented Aug 30, 2026

Copy link
Copy Markdown
Collaborator

Fixes #415

As explained in May in #415, maintaining 32-bit support of the internal test suite is not getting easier.

Since no one has objected this PR thus

  • removes the (now) broken 32-bit CI workflows
  • removes the *.32 expect files and
  • simplifies the dune expect test rules accordingly

@jmid
jmid merged commit b8007e6 into c-cube:main Aug 30, 2026
22 checks passed
@jmid
jmid deleted the remove-32bit branch August 30, 2026 20:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Remove 32-bit test support?

1 participant