Skip to content
[Jenkins]Jenkins
log in
Success

#106 (May 18, 2020, 7:17:23 PM)

Started 5 yr 3 mo ago
Took 39 min on olive

Started by GitHub push by gasche

Revision: 7fa87c04b0bdbbeff0fcda85a947a20cbf9aa9d2
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Update documentation of Digest module (commit: 5890df0) (details / githubweb)