Skip to content

Conversation

@shym
Copy link
Collaborator

@shym shym commented Oct 6, 2023

Add a native workflow and a bytecode one using MSVC
Run the bytecode-only in two parts, like Cygwin, since preliminary results seem to suggest the test suite will require more than 6 hours to complete
Use the current bleeding edge versions of dune and QCheck as they recently merged fixes that are relevant for these workflows
Add badges for those two new workflows, on a separate line, as they aren’t really on trunk

Copy link
Collaborator

@jmid jmid left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks again for this 🙏 MSVC has been merged so we should get this nice PR rolling! 😃

A little fiddling is required I believe:

  • This should target ocaml/ocaml trunk rather than dra27/ocaml IIUC
  • The workflows should be renamed to msvc-530-trunk.yml and msvc-530-trunk-bytecode.yml to fit into the existing naming scheme

A few questions:

  • Is the source code install of dune and qcheck still required, or can we go with opam now?
  • I suppose this is not set up to easily test PRs and feature branches? (just asking, Cygwin + multicoretests-ci doesn't support this ATM either)

shym and others added 9 commits March 26, 2024 17:10
Avoid running QCheck tests as part of a `dune runtest` even if it is
vendored
Add a native workflow and a bytecode one using MSVC
Run the bytecode-only in two parts, like Cygwin
Use the current bleeding edge versions of dune and QCheck as they
recently merged fixes that are relevant for these workflows
Add badges for those two new workflows
@jmid
Copy link
Collaborator

jmid commented Mar 27, 2024

CI summary for 9ce6e3e:

(Note: CI on this PR is still targeting 5.2.0~alpha1 which explains the #203 failure on MinGW 5.2 above)

Out of 37 workflows 6 failed all with genuine issues

@jmid jmid merged commit 166b4a8 into ocaml-multicore:main Mar 27, 2024
@jmid
Copy link
Collaborator

jmid commented Mar 27, 2024

CI summary for merge to main:

Out of 38 workflows 5 failed all with genuine issues

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.

2 participants