Skip to content
[Jenkins]Jenkins
log in
Success

#139 (Jun 2, 2020, 5:23:03 PM)

Started 5 yr 3 mo ago
Took 40 min on olive

Started by GitHub push by gasche

Revision: fd8188be9dc61339ae1ea08c2d6ca92258deb22c
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. More partial application warnings (commit: fd1bb25) (details / githubweb)