Skip to content
[Jenkins]Jenkins
log in
Success

#119 (May 25, 2020, 9:51:27 AM)

Started 5 yr 3 mo ago
Took 42 min on olive

Started by GitHub push by xavierleroy

Revision: 3d63a106b678f54c47698f11db7d810d91d442ec
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Memprof: optimize random sampling (#9466) (commit: 3d63a10) (details / githubweb)