Skip to content
[Jenkins]Jenkins
log in
Success

origin/trunk-#4796 (Jul 3, 2025, 8:03:47 PM)

Started 19 hr ago
Took 18 min on ocaml-macos-m1

Started by upstream project main build number 4796
originally caused by:

Revision: 38efe5a55f1ba61eba37596db299d114c0a00ff9
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Add the approx flag to merging of module constraints (details / githubweb)
  2. Add a [merge_type_approx] for approximation of type constraints (details / githubweb)
  3. Add tests for module and type constraints during approximation (details / githubweb)
  4. Update Changelog (details / githubweb)
  5. Add another test for destructive type constraints approximation (details / githubweb)
  6. Address review comments on #14100 (details / githubweb)
  7. Update Changelog (details / githubweb)