Skip to content
[Jenkins]Jenkins
log in
Success

#68 (May 3, 2020, 9:55:29 AM)

Started 5 yr 4 mo ago
Took 38 min on olive

Started by GitHub push by gasche

Revision: 239de4d870392c0f9fbc1cff119aa5499f5deb6f
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. INSTALL.adoc: replace Makefile.common.in with Makefile.build_config.in (commit: 239de4d) (details / githubweb)