Skip to content
[Jenkins]Jenkins
log in
Success

#143 (Jun 3, 2020, 5:31:50 PM)

Started 5 yr 3 mo ago
Took 40 min on olive

Started by GitHub push by garrigue

Revision: 13a081b04edefcef1df1b608fc25d2286d817600
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Fix #7741: Failure to report escaping type variable (#9545) (commit: 13a081b) (details / githubweb)