Skip to content
[Jenkins]Jenkins
log in
Started 4 hr 44 min ago
Took 14 min
Success

Build #2953 (Sep 10, 2025, 7:26:54 AM)

Changes
  1. usage warnings for private constructors: document our intentions in the testsuite (commit: ea0dc27) (details / githubweb)
  2. typing: allow private constructors without usage warnings (commit: c648c5f) (details / githubweb)
  3. Changes (commit: 6eba569) (details / githubweb)

Started by GitHub push by gasche

Revision: 2fddb51397fd5a8fdee8c2a8967316dd4aa94006
Repository: https://github.com/ocaml/ocaml
  • origin/trunk