Skip to content
[Jenkins]Jenkins
log in
Success

#85 (May 12, 2020, 3:35:19 PM)

Started 5 yr 4 mo ago
Took 39 min on olive

Started by GitHub push by xavierleroy

Revision: c920ea142b9f9cc0c0eaca6903f0e782da1036d1
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Fix comment about NaN propagation (#9536) (commit: c920ea1) (details / githubweb)