Skip to content
[Jenkins]Jenkins
log in
Success

#181 (Jun 15, 2020, 10:26:36 AM)

Started 5 yr 2 mo ago
Took 41 min on olive

Started by GitHub push by garrigue

Revision: 24d087325c014014379a9d361975a3ddea92fb5a
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Fix #7902: Type-checker infers a recursive type, even though -rectype… (#9556) (commit: 24d0873) (details / githubweb)