Skip to content
[Jenkins]Jenkins
log in
Success

#42 (Apr 25, 2020, 7:09:45 PM)

Started 5 yr 2 mo ago
Took 41 min on olive

Started by GitHub push by xavierleroy

Revision: 68c6f894095a393d2c60704cfe58184b961cd749
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Use diversion when calling external tools with a very long argument list (#9492) (commit: 68c6f89) (details / githubweb)