Skip to content
[Jenkins]Jenkins
log in
Success

#116 (May 21, 2020, 8:51:29 AM)

Started 5 yr 3 mo ago
Took 40 min on olive

Started by GitHub push by nojb

Revision: 9b748843bbaabff04f6b162add0600335e317fcf
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Use List.find_map (#9589) (commit: 9b74884) (details / githubweb)