Skip to content
[Jenkins]Jenkins
log in
Success

#241 (Jul 29, 2020, 8:44:36 PM)

Started 4 yr 11 mo ago
Took 41 min on olive

Started by GitHub push by dra27

Revision: fb971b09f2db006c0d40b69a8ff8c04fd7fd2046
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Return tests in alphabetical order (commit: 2317acc) (details / githubweb)
  2. Assume --no-print-directory option (commit: a9fc1cd) (details / githubweb)