Skip to content
[Jenkins]Jenkins
log in
Success

#93 (May 14, 2020, 6:15:19 PM)

Started 5 yr 3 mo ago
Took 39 min on olive

Started by GitHub push by xavierleroy

Revision: 914dd057b5beb7f0246b8011472105d5096d8783
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. win32unix: quote the arguments to the Unix.exec* functions (#9550) (commit: 914dd05) (details / githubweb)