Skip to content
[Jenkins]Jenkins
log in
Started 3 days 20 hr ago
Took 3 min 12 sec
Success

Build #3026 (Sep 23, 2025, 3:35:42 PM)

Changes
  1. Allow strings to be shared by Lambda.make_key (commit: be62523) (details / githubweb)

Started by GitHub push by gasche

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