You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A possible end-goal of ocaml-multicore/multicoretests is for it to become a test-suite used by OCaml compiler developers for checking PRs. One way to do this would be through a bot attached to the ocaml/ocaml repo that can be invoked to run the expensive test-suite when it is deemed appropriate, in the same way that the Coq bot works (coq/bot).
This could use parts of Multicoretests-CI for the infrastructure that runs the tests on multiple platforms.
The text was updated successfully, but these errors were encountered:
offer the ocaml compiler devs just one bot with a generic name, say ocamlbot, rather than have them memorize 3 different ones, and
make it as convenient as possible for them to use.
One possibility is to trigger actions by tagging the bot (and accepting sub-commands): @ocamlbot sandmark (or benchmark), @ocamlbot multicoretests (or stresstest`).
Another possibility is to trigger actions by recognizing labels (with similar names to the above).
A possible end-goal of ocaml-multicore/multicoretests is for it to become a test-suite used by OCaml compiler developers for checking PRs. One way to do this would be through a bot attached to the ocaml/ocaml repo that can be invoked to run the expensive test-suite when it is deemed appropriate, in the same way that the Coq bot works (coq/bot).
This could use parts of Multicoretests-CI for the infrastructure that runs the tests on multiple platforms.
The text was updated successfully, but these errors were encountered: