Skip to content
[Jenkins]Jenkins
log in
Started 4 days 19 hr ago
In progress

Build #2920 (Aug 13, 2025, 11:25:26 AM)

Progress:
Changes
  1. Remove misleading comment, and change call back to the more intuitive function (now that that function can't allocate after the minor GC). (commit: 38a962c) (details / githubweb)

Started by GitHub push by gasche

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