Skip to content
[Jenkins]Jenkins
log in
Success

#71 (May 4, 2020, 9:50:04 AM)

Started 5 yr 4 mo ago
Took 38 min on olive

Started by GitHub push by Octachron

Revision: 24806a0223f72f44e82d8690ed6e76dc19fd5795
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Fix some issues in the Map documentation: (commit: afe681c) (details / githubweb)