Skip to content
[Jenkins]Jenkins
log in
Success

#171 (Jun 10, 2020, 5:20:36 PM)

Started 5 yr 0 mo ago
Took 39 min on olive

Started by GitHub push by xavierleroy

Revision: b94a3776a0699b376af8ba78041663071f8dc585
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Remove temporary installation hacks (#9659) (commit: b94a377) (details / githubweb)