Skip to content
[Jenkins]Jenkins
log in
Success

#182 (Jun 15, 2020, 1:39:47 PM)

Started 5 yr 0 mo ago
Took 41 min on olive

Started by GitHub push by xavierleroy

Revision: 5a9c5dd5b079e341e95077b8f2c1aff7cceaddf7
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. globroots.c: adapt to no-naked-pointers mode (#9683) (commit: 5a9c5dd) (details / githubweb)