Skip to content
[Jenkins]Jenkins
log in
Success

#109 (May 19, 2020, 3:31:20 PM)

Started 5 yr 3 mo ago
Took 39 min on olive

Started by GitHub push by xavierleroy

Revision: 2d92955749064e2546073c944765d99aaf26c6c4
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Remove Const_pointer (#9578) (commit: 2d92955) (details / githubweb)