Skip to content
[Jenkins]Jenkins
log in
Success

#105 (May 18, 2020, 4:35:03 PM)

Started 5 yr 1 mo ago
Took 39 min on olive

Started by GitHub push by Octachron

Revision: 39954596fe3805d7f3a0a0f91797c282f98bf004
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. import Jacques comment on flatten_fields from the issue tracker (commit: 9fe4b96) (details / githubweb)