Skip to content
[Jenkins]Jenkins
log in
Success

#84 (May 11, 2020, 12:22:13 PM)

Started 5 yr 3 mo ago
Took 39 min on olive

Started by GitHub push by Octachron

Revision: c86a5d8d1110b608d359b8887405a291551fa6ae
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. #9189: avoid one-letter make variables (#9281) (commit: c86a5d8) (details / githubweb)