Skip to content
[Jenkins]Jenkins
log in
Success

#229 (Jul 26, 2020, 7:25:23 PM)

Started 4 yr 11 mo ago
Took 40 min on olive

Started by GitHub push by nojb

Revision: 820db1bd7a9e0ff53fc7939ea4649df69cf9b063
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. [internal refactor] minor tweaking (#9792) (commit: 820db1b) (details / githubweb)