Skip to content
[Jenkins]Jenkins
log in
Success

#172 (Jun 11, 2020, 10:39:29 AM)

Started 5 yr 0 mo ago
Took 46 min on olive

Started by GitHub push by xavierleroy

Revision: 08e58c836e5b2e8e1015e06ad0ab3df444d6197a
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. More efficient management of code fragments (#9654) (commit: 08e58c8) (details / githubweb)