Skip to content
[Jenkins]Jenkins
log in
Success

#137 (Jun 2, 2020, 11:01:31 AM)

Started 5 yr 3 mo ago
Took 40 min on olive

Started by GitHub push by Octachron

Revision: 180a91f5d5e957e009aae6a129630f1c7fde6986
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Ensure stdlib documentation index refers to Stdlib (commit: 6b214f5) (details / githubweb)
  2. Remove broken link to Pervasives (commit: fb18d85) (details / githubweb)
  3. Use Odoc_global.library_namespace for index alias removal (commit: f75d5f3) (details / githubweb)
  4. changes entry (commit: 9b6e620) (details / githubweb)