Skip to content
[Jenkins]Jenkins
log in
Success

#154 (Jun 6, 2020, 5:15:42 PM)

Started 5 yr 3 mo ago
Took 40 min on olive

Started by GitHub push by dra27

Revision: 467facbfeda210b1069e109e176e684f275171a8
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Arg: a new Rest_all spec, similar to Rest, that passes all arguments at once (commit: 63eb3da) (details / githubweb)