Skip to content
[Jenkins]Jenkins
log in
Success

#95 (May 15, 2020, 8:58:37 PM)

Started 5 yr 3 mo ago
Took 39 min on olive

Started by GitHub push by gasche

Revision: 38510222448f7b69f5c61d5304f660b65db5e328
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. like classes, type constraints are 'typexpr = typexpr' (commit: a2a287c) (details / githubweb)