Skip to content
[Jenkins]Jenkins
log in
Success

#217 (Jun 25, 2020, 5:00:51 PM)

Started 5 yr 2 mo ago
Took 42 min on olive

Started by GitHub push by Octachron

Revision: 457304d075c337cc7a57cc75dd18f6772b51cb46
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Add Hint when a module is used in place of a module type (commit: 50848fe) (details / githubweb)