Skip to content
[Jenkins]Jenkins
log in
Success

#140 (Jun 2, 2020, 10:05:39 PM)

Started 5 yr 3 mo ago
Took 40 min on olive

Started by GitHub push by garrigue

Revision: ee20f5e64806ae9c3e8c0dfb35ab008cd005aceb
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Fix the polymorphic recursion problem of #9603 (#9617) (commit: ee20f5e) (details / githubweb)