Skip to content
Jenkins
log in
Dashboard
main
origin/trunk-#4841
false,ocaml-omnios
Changes
Status
Changes
Console Output
View Build Information
Git Build Data
Lockable resources
Previous Build
Success
Changes
Summary
Allow strings to be shared by Lambda.make_key (
details
)
Commit
be625238bb2703739243931d9a86a823773336f5
by
stedolan
Allow strings to be shared by Lambda.make_key
Strings have been immutable for a while now
The file was modified
.depend
(diff)
The file was modified
lambda/lambda.ml
(diff)
![[Jenkins]](/ocaml/static/db2b9b32/images/svgs/logo.svg){kind=logo}
