Skip to content
[Jenkins]Jenkins
log in
Success

#168 (Jun 10, 2020, 1:53:14 PM)

Started 5 yr 0 mo ago
Took 41 min on olive

Started by GitHub push by gasche

Revision: 6ea0fbdddb58846bcceadeab950a501be881eb9a
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. add explanation for variance flags (commit: 1d27025) (details / githubweb)