Skip to content
[Jenkins]Jenkins
log in
Success

#184 (Jun 16, 2020, 11:16:16 AM)

Started 5 yr 2 mo ago
Took 44 min on olive

Started by GitHub push by xavierleroy

Revision: 58b3efda0945b5d26826a36049a213667196ed6a
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. classify_addr.h: explain the no_naked_pointers value model (#9684) (commit: 58b3efd) (details / githubweb)