Skip to content
[Jenkins]Jenkins
log in
Success

#43 (Apr 25, 2020, 7:51:37 PM)

Started 5 yr 2 mo ago
Took 41 min on olive

Started by GitHub push by xavierleroy

Revision: 080ac7421c569392f84fadefbdf977c4aa98a92a
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Update documentation for the Thread module and deprecate some functions (#9419) (commit: 080ac74) (details / githubweb)