Skip to content
[Jenkins]Jenkins
log in
Success

#147 (Jun 4, 2020, 6:39:11 PM)

Started 5 yr 3 mo ago
Took 40 min on olive

Started by GitHub push by gasche

Revision: 42b64a7dc7e5ee30adec0152fbf9e09f2d2955a7
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. minor Changes fix (commit: 42b64a7) (details / githubweb)