Skip to content
[Jenkins]Jenkins
log in
Success

#123 (May 25, 2020, 7:53:26 PM)

Started 5 yr 3 mo ago
Took 41 min on olive

Started by GitHub push by xavierleroy

Started by GitHub push by garrigue

Revision: 4c24dca92ad684494e9d186412a52be3983d909a
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Memprof: Fix duplicate declaration of static variable rand_pos (#9598) (commit: 4c24dca) (details / githubweb)