Skip to content
[Jenkins]Jenkins
log in
Success

#70 (May 3, 2020, 4:06:42 PM)

Started 5 yr 4 mo ago
Took 38 min on olive

Started by GitHub push by gasche

Revision: c14ba72deee655da33b40809393561a310d50d55
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. HACKING.adoc: restructure the opam information and fix the cross-reference (commit: c14ba72) (details / githubweb)