Skip to content
[Jenkins]Jenkins
log in
Success

#67 (May 3, 2020, 9:07:03 AM)

Started 5 yr 4 mo ago
Took 38 min on olive

Started by GitHub push by dra27

Revision: 6c8d79d1bd6b2ebc08882ccda492a70faa7ac46e
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Fix ephemeron documentation typos (commit: 5e2b28d) (details / githubweb)
  2. Update stdlib/ephemeron.mli (commit: a282c17) (details / githubweb)