Skip to content
[Jenkins]Jenkins
log in
Success

#249 (Aug 12, 2020, 10:08:54 PM)

Started 5 yr 1 mo ago
Took 41 min on olive

Started by GitHub push by dra27

Started by an SCM change

Revision: 4b57077048a9d6d79075755a18c9f79d0a8b9ba5
Repository: https://github.com/ocaml/ocaml
  • origin/4.11
Changes
  1. Merge pull request #9840 from dra27/fix-9839 (commit: 4b57077) (details / githubweb)