Skip to content
[Jenkins]Jenkins
log in
Success

#39 (Apr 24, 2020, 5:28:40 PM)

Started 5 yr 4 mo ago
Took 41 min on olive

Started by GitHub push by nojb

Revision: 1eb26aefbaf0534b8284a63af4fa13471d039cb1
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Move Changes entry to the right place (commit: 1eb26ae) (details / githubweb)