Skip to content
[Jenkins]Jenkins
log in
Success

#114 (May 20, 2020, 7:53:20 PM)

Started 5 yr 3 mo ago
Took 40 min on olive

Started by GitHub push by xavierleroy

Revision: 89beb4c7f02aa689cd344c7ba5c5ab77a108e525
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Use Sys.command instead of Unix.system to call 'cmp' (commit: 89beb4c) (details / githubweb)