Skip to content
[Jenkins]Jenkins
log in
Success

#118 (May 21, 2020, 5:23:46 PM)

Started 5 yr 1 mo ago
Took 40 min on olive

Started by GitHub push by xavierleroy

Revision: b2f467abc0d2caaf40b6446a567f968ce935247f
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Improve -with-bootstrap mode (commit: b2f467a) (details / githubweb)